Struct PersistentBfsConvergence 

pub struct PersistentBfsConvergence {
    pub changed: u32,
    pub converged: bool,
    pub stop_iter: u32,
}

Convergence outcome of one persistent-BFS CPU reference run.

The changed flag alone (1 if any step added new nodes) cannot tell a caller whether the fixpoint was actually reached or the loop merely ran out of max_iters while still growing. This struct separates the two so a consumer can enforce a loud non-convergence policy: a run that exhausts max_iters while still adding nodes returns converged = false and an under-approximated frontier, which the caller can reject instead of silently trusting a partial closure.

Fields

changed: u32

Sticky flag: 1 if any step added new nodes, else 0.

converged: bool

true if a step added nothing (the fixpoint was reached) before max_iters was exhausted; false if the loop ran all max_iters steps while still adding nodes, in which case the frontier is an under-approximation of the true closure.

stop_iter: u32

Number of traversal steps actually run: the step at which the loop stopped. Equals max_iters exactly when converged is false.

Trait Implementations

impl Clone for PersistentBfsConvergence

fn clone(&self) -> PersistentBfsConvergence

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for PersistentBfsConvergence

impl Debug for PersistentBfsConvergence

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

Formats the value using the given formatter.

impl Eq for PersistentBfsConvergence

impl PartialEq for PersistentBfsConvergence

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for PersistentBfsConvergence