Struct FixpointEngine 

pub struct FixpointEngine { /* private fields */ }

A fixpoint iteration engine for abstract interpretation.

Implementations

impl FixpointEngine

pub fn new(max_iterations: u32) -> Self

Create an engine with a given maximum iteration count.

pub fn is_fixpoint(current: &IntervalEnv, next: &IntervalEnv) -> bool

Return whether fixpoint was reached (next == current).

pub fn should_widen(&self) -> bool

Return whether we should apply widening (past the widening threshold).

pub fn step(&mut self)

Record one iteration step.

pub fn is_exhausted(&self) -> bool

Return whether we’ve exceeded the iteration limit.

pub fn iterations(&self) -> u32

Return the iteration count so far.

pub fn reset(&mut self)

Reset to initial state.