Struct DetailedProofStats 

pub struct DetailedProofStats {
    pub total_steps: usize,
    pub axioms: usize,
    pub inferences: usize,
    pub max_depth: usize,
    pub avg_leaf_depth: f64,
    pub total_premises: usize,
    pub avg_premises: f64,
    pub unique_conclusions: usize,
    pub rule_usage: HashMap<String, usize>,
    pub complexity_score: f64,
}

Detailed proof statistics.

Fields

total_steps: usize

Total number of steps.

axioms: usize

Number of axiom/assumption steps.

inferences: usize

Number of inference steps.

max_depth: usize

Maximum proof depth.

avg_leaf_depth: f64

Average depth of leaves.

total_premises: usize

Total number of premises used.

avg_premises: f64

Average premises per inference.

unique_conclusions: usize

Number of unique conclusions.

rule_usage: HashMap<String, usize>

Rule usage counts.

complexity_score: f64

Proof complexity score (higher = more complex).

Implementations

impl DetailedProofStats

pub fn compute(proof: &Proof) -> Self

Compute detailed statistics for a proof.

pub fn compute_theory(proof: &TheoryProof) -> TheoryProofStats

Compute detailed statistics for a theory proof.

Trait Implementations

impl Clone for DetailedProofStats

fn clone(&self) -> DetailedProofStats

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DetailedProofStats

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

Formats the value using the given formatter.