Enum FixedPointAnalysisKind 

pub enum FixedPointAnalysisKind {
    Generic,
    Reaching,
    Live,
    PointsToSubset,
    Slice,
}

Fixed-point analysis family attached to a prepared plan.

Variants

Generic

Compatibility value for manually constructed plans that do not declare an analysis family.

Reaching

Forward reaching-definitions closure.

Live

Backward live-variable closure over reversed control CSR.

PointsToSubset

Andersen points-to subset closure.

Slice

Backward program slice closure.

Trait Implementations

impl Clone for FixedPointAnalysisKind

fn clone(&self) -> FixedPointAnalysisKind

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for FixedPointAnalysisKind

impl Debug for FixedPointAnalysisKind

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for FixedPointAnalysisKind

impl Hash for FixedPointAnalysisKind

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for FixedPointAnalysisKind

fn eq(&self, other: &FixedPointAnalysisKind) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for FixedPointAnalysisKind