Struct ProgramSummary 

pub struct ProgramSummary {
    pub atoms: usize,
    pub cyclic_atoms: usize,
    pub articulation_vertices: usize,
    pub zero_simplex_separators: usize,
    pub widest_separator: usize,
    pub separator_candidates_checked: usize,
    pub separator_search_complete: bool,
    pub largest_cyclic_atom_edges: usize,
    pub complete_guards: usize,
    pub guards: usize,
}

Structural and algebraic size of a compiled program.

Fields

atoms: usize

Vertex-biconnected atoms, including bridge atoms.

cyclic_atoms: usize

Atoms that contain a graph cycle.

articulation_vertices: usize

Distinct articulation vertices.

zero_simplex_separators: usize

Wider zero-filtration simplex separators used by the program.

widest_separator: usize

Largest separator used by the program.

separator_candidates_checked: usize

Candidate vertex sets checked during bounded separator search.

separator_search_complete: bool

Whether bounded separator search visited every candidate in scope.

largest_cyclic_atom_edges: usize

Edges in the largest cyclic atom.

complete_guards: usize

Distinct reduction guards before transitive removal.

guards: usize

Result-sensitive guards across all cyclic atoms.

Trait Implementations

impl Clone for ProgramSummary

fn clone(&self) -> ProgramSummary

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ProgramSummary

impl Debug for ProgramSummary

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

Formats the value using the given formatter.

impl Eq for ProgramSummary

impl PartialEq for ProgramSummary

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ProgramSummary