Struct FixpointComputation 

pub struct FixpointComputation {
    pub max_iter: usize,
    pub widen_delay: usize,
}

Fixpoint computation via Kleene iteration with widening.

Fields

max_iter: usize

Maximum number of iterations before forcing termination

widen_delay: usize

Widening delay

Implementations

impl FixpointComputation

pub fn new() -> Self

Create a fixpoint computation with standard settings.

pub fn compute<F>(&self, f: F, init: AbstractState) -> AbstractState

where F: Fn(&AbstractState) -> AbstractState,

Compute the least fixpoint of f starting from init, using widening.

Trait Implementations

impl Default for FixpointComputation

fn default() -> Self

Returns the “default value” for a type.