Struct ProofGraph 

pub struct ProofGraph {
    pub stats: ProofGraphStats,
    /* private fields */
}

Global proof graph cache

Fields

stats: ProofGraphStats

Statistics

Implementations

impl ProofGraph

pub fn new() -> Self

Create a new proof graph

pub fn insert_proof( &mut self, handle: FactHandle, key: FactKey, rule_name: String, premises: Vec<FactHandle>, premise_keys: Vec<String>, )

Insert a proof into the graph

pub fn lookup_by_key(&mut self, key: &FactKey) -> Option<Vec<&ProofGraphNode>>

Lookup proven facts by key pattern

pub fn is_proven(&mut self, key: &FactKey) -> bool

Check if a fact key has been proven

pub fn invalidate_handle(&mut self, handle: &FactHandle)

Invalidate a fact handle (e.g., when retracted by TMS)

pub fn get_node(&self, handle: &FactHandle) -> Option<&ProofGraphNode>

Get a node by handle

pub fn clear(&mut self)

Clear all cached proofs (reset graph)

pub fn generation(&self) -> u64

Get current generation counter

pub fn print_stats(&self)

Print statistics

Trait Implementations

impl Default for ProofGraph

fn default() -> Self

Returns the “default value” for a type.