Struct StepProgress 

#[non_exhaustive]
pub struct StepProgress {
    pub pass: u32,
    pub completed_in_pass: usize,
    pub scheduled_in_pass: usize,
    pub cumulative_computed_vertices: usize,
    pub total_exact: bool,
    pub staged_formulas_remaining: usize,
    pub priority_pending: bool,
}

Formula counts for the current schedule pass and logical recalculation.

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

pass: u32

One-based schedule pass; changes invalidate the previous denominator.

completed_in_pass: usize

Full-schedule formula vertices visited, including clean priority work.

scheduled_in_pass: usize

Formula vertices scheduled in this pass.

cumulative_computed_vertices: usize

Formulas computed across all passes, including recomputed formulas.

total_exact: bool

Conservative proof of a fixed total. False also means unknown: proofs are limited to 1,024 scalar arithmetic templates in v1.

staged_formulas_remaining: usize

Formulas still awaiting graph construction.

priority_pending: bool

Priority work is queued, unfinished, or deferred by the expansion cap.

Trait Implementations

impl Clone for StepProgress

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for StepProgress

impl Debug for StepProgress

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

Formats the value using the given formatter.

impl Default for StepProgress

fn default() -> Self

Returns the “default value” for a type.

impl Eq for StepProgress

impl PartialEq for StepProgress

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for StepProgress