Struct CarveStats 

pub struct CarveStats {
    pub nodes: usize,
    pub punches: usize,
    pub max_depth: usize,
}

Autocarve — recursive carving that lets the rules fall out. Carve the formula to its core, decompose into independent components, and for each: if a certified cut recognizes it, the rule falls out and the component closes; otherwise branch one variable and carve again on each branch. Every decision cascades fresh unit propagations and pure literals, exposing structure the previous level hid — so a buried, masked, or nested invariant surfaces on its own at the depth it becomes visible. UNSAT iff any component is, SAT iff all are; None past the budget. What an autocarve run did: how many recursion nodes it visited, how many times a certified cut fired (a “punch”), and how deep the carving recursed.

Fields

nodes: usize

punches: usize

max_depth: usize

Trait Implementations

impl Clone for CarveStats

fn clone(&self) -> CarveStats

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CarveStats

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

Formats the value using the given formatter.

impl Default for CarveStats

fn default() -> CarveStats

Returns the “default value” for a type.

impl PartialEq for CarveStats

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for CarveStats

impl Eq for CarveStats

impl StructuralPartialEq for CarveStats