Struct TruthMaintenanceSystem 

pub struct TruthMaintenanceSystem { /* private fields */ }

Truth Maintenance System

Tracks justifications for facts and automatically maintains consistency by retracting derived facts when their premises become invalid.

Implementations

impl TruthMaintenanceSystem

pub fn new() -> Self

Create a new TMS

pub fn add_explicit_justification(&mut self, fact_handle: FactHandle)

Add an explicit justification (user asserted fact)

pub fn add_logical_justification( &mut self, fact_handle: FactHandle, source_rule: String, premise_facts: Vec<FactHandle>, )

Add a logical justification (rule derived fact)

Arguments

• fact_handle - The derived fact
• source_rule - Name of the rule that derived it
• premise_facts - Facts that were matched in the rule’s WHEN clause

pub fn is_logical(&self, fact_handle: FactHandle) -> bool

Check if a fact is logically asserted (derived by rules)

pub fn is_explicit(&self, fact_handle: FactHandle) -> bool

Check if a fact is explicitly asserted (by user)

pub fn get_justifications(&self, fact_handle: FactHandle) -> Vec<&Justification>

Get all justifications for a fact

pub fn has_valid_justification(&self, fact_handle: FactHandle) -> bool

Check if a fact still has valid justifications

pub fn retract_with_cascade( &mut self, fact_handle: FactHandle, ) -> Vec<FactHandle>

Retract a fact and cascade to dependent facts

Returns a list of facts that should be retracted due to cascade

pub fn remove_justifications(&mut self, fact_handle: FactHandle)

Remove all justifications for a fact

pub fn stats(&self) -> TmsStats

Get statistics about the TMS

pub fn clear(&mut self)

Clear all TMS data

pub fn get_logical_facts(&self) -> &HashSet<FactHandle>

Get all logical facts

pub fn get_explicit_facts(&self) -> &HashSet<FactHandle>

Get all explicit facts

Trait Implementations

impl Default for TruthMaintenanceSystem

fn default() -> Self

Returns the “default value” for a type.