Struct TheoryProofStats 

pub struct TheoryProofStats {
    pub total_steps: usize,
    pub axioms: usize,
    pub inferences: usize,
    pub total_premises: usize,
    pub avg_premises: f64,
    pub rule_usage: HashMap<String, usize>,
    pub theory_usage: HashMap<String, usize>,
}

Statistics specific to theory proofs.

Fields

total_steps: usize

Total number of steps.

axioms: usize

Number of axiom steps.

inferences: usize

Number of inference steps.

total_premises: usize

Total premises used.

avg_premises: f64

Average premises per inference.

rule_usage: HashMap<String, usize>

Rule usage counts.

theory_usage: HashMap<String, usize>

Theory usage counts (EUF, Arithmetic, Arrays, etc.).

Trait Implementations

impl Clone for TheoryProofStats

fn clone(&self) -> TheoryProofStats

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TheoryProofStats

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

Formats the value using the given formatter.