Enum Evolution 

pub enum Evolution {
    Invariant(Invariant),
    Affine(Chrec),
    Unknown,
}

How a value changes from one iteration of a loop to the next.

Variants

Invariant(Invariant)

The same on every iteration.

Affine(Chrec)

{base, +, step}: base the first time round and step more each time after.

Unknown

Not something this analysis describes. Never a claim that the value does not evolve.

Implementations

impl Evolution

pub fn chrec(self) -> Option<Chrec>

The chrec, when this is one.

pub fn invariant(self) -> Option<Invariant>

The invariant expression, when this is one.

Trait Implementations

impl Clone for Evolution

fn clone(&self) -> Evolution

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Evolution

impl Debug for Evolution

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

Formats the value using the given formatter.

impl Eq for Evolution

impl PartialEq for Evolution

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Evolution