Struct NodeCounter 

pub struct NodeCounter {
    pub axioms: usize,
    pub inferences: usize,
}

A visitor that counts nodes by type.

Fields

axioms: usize

Number of axiom nodes.

inferences: usize

Number of inference nodes.

Trait Implementations

impl Debug for NodeCounter

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

Formats the value using the given formatter.

impl Default for NodeCounter

fn default() -> NodeCounter

Returns the “default value” for a type.

impl ProofVisitor for NodeCounter

fn visit_node(&mut self, _proof: &Proof, node: &ProofNode)

Visit a proof node.

fn visit_axiom(&mut self, _proof: &Proof, _id: ProofNodeId, _conclusion: &str)

Visit an axiom node.

fn visit_inference( &mut self, _proof: &Proof, _id: ProofNodeId, _rule: &str, _premises: &[ProofNodeId], _conclusion: &str, )

Visit an inference node.