weir/fixed_point_graph/kind.rs
1/// Fixed-point analysis family attached to a prepared plan.
2#[derive(Clone, Copy, Debug, Eq, PartialEq, Hash)]
3#[cfg_attr(feature = "serde", derive(serde::Serialize, serde::Deserialize))]
4pub enum FixedPointAnalysisKind {
5 /// Compatibility value for manually constructed plans that do not declare
6 /// an analysis family.
7 Generic,
8 /// Forward reaching-definitions closure.
9 Reaching,
10 /// Backward live-variable closure over reversed control CSR.
11 Live,
12 /// Andersen points-to subset closure.
13 PointsToSubset,
14 /// Backward program slice closure.
15 Slice,
16}