Struct RuleCache 

pub struct RuleCache { /* private fields */ }

Rule-specific caching system

Implementations

impl RuleCache

pub fn new() -> Self

Create a new rule cache system

pub fn with_sizes( rule_cache_size: usize, derivation_cache_size: usize, unification_cache_size: usize, pattern_cache_size: usize, ) -> Self

Create cache with custom sizes

pub fn set_enabled(&mut self, enabled: bool)

Enable or disable caching

pub fn cache_rule_result( &self, rule_name: &str, input_facts: &[RuleAtom], result: Vec<RuleAtom>, )

Cache rule execution result

pub fn get_rule_result( &self, rule_name: &str, input_facts: &[RuleAtom], ) -> Option<Vec<RuleAtom>>

Get cached rule result

pub fn cache_derivation( &self, goal: &RuleAtom, context: &[RuleAtom], result: bool, )

Cache derivation result

pub fn get_derivation( &self, goal: &RuleAtom, context: &[RuleAtom], ) -> Option<bool>

Get cached derivation result

pub fn cache_unification( &self, pattern: &str, bindings: HashMap<String, String>, )

Cache unification result

pub fn get_unification(&self, pattern: &str) -> Option<HashMap<String, String>>

Get cached unification result

pub fn cache_pattern(&self, pattern: &str, matches: Vec<RuleAtom>)

Cache pattern matching result

pub fn get_pattern(&self, pattern: &str) -> Option<Vec<RuleAtom>>

Get cached pattern result

pub fn clear_all(&self)

Clear all caches

pub fn cleanup_expired(&self)

Clean expired entries from all caches

pub fn get_statistics(&self) -> CachingStatistics

Get combined cache statistics

pub fn warm_cache(&self, rules: &[Rule], common_facts: &[RuleAtom])

Warm cache with common patterns

Trait Implementations

impl Debug for RuleCache

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

Formats the value using the given formatter.

impl Default for RuleCache

fn default() -> Self

Returns the “default value” for a type.