Struct StructuredDag 

pub struct StructuredDag {
    pub root: usize,
    pub nodes: Vec<SNode>,
}

The cofactor DAG cut off at structured leaves: the whole dispatcher, organized as a decision DAG. Its size is the number of cofactors that must be branched before a specialist (or ⊥) fires — 1 exactly when the root itself is crushed, growing only where no specialist ever fires (the wall). Reported structured/trivial leaf counts show which crushers carried the refutation.

Fields

root: usize

nodes: Vec<SNode>

Implementations

impl StructuredDag

pub fn size(&self) -> usize

Certificate size — the number of DAG nodes.

pub fn structured_leaves(&self) -> usize

Leaves closed by a specialist route (rather than by branching to ⊥).