Struct TensorRuleIndex 

pub struct TensorRuleIndex {
    pub rules: HashMap<u64, IndexedRule>,
    pub predicate_index: HashMap<String, Vec<u64>>,
}

Multi-dimensional index over IndexedRule entries.

Supports O(1) lookup by rule ID and predicate, plus flexible filtered queries across predicate, arity, confidence, body content, and active status.

Fields

rules: HashMap<u64, IndexedRule>

Primary store: rule_id → rule.

predicate_index: HashMap<String, Vec<u64>>

Secondary index: head_predicate → list of rule_ids.

Implementations

impl TensorRuleIndex

pub fn new() -> Self

Create an empty index.

pub fn insert(&mut self, rule: IndexedRule)

Insert a rule, updating both the primary store and the predicate index.

If a rule with the same rule_id already exists it is replaced, and the predicate index is kept consistent.

pub fn remove(&mut self, rule_id: u64) -> bool

Remove the rule with the given rule_id.

Returns true on success, false when no such rule exists.

pub fn deactivate(&mut self, rule_id: u64) -> bool

Set a rule’s active field to false.

Returns true on success, false when no such rule exists.

pub fn activate(&mut self, rule_id: u64) -> bool

Set a rule’s active field to true.

Returns true on success, false when no such rule exists.

pub fn query(&self, q: &RuleQuery) -> Vec<&IndexedRule>

Return rules that match all criteria in q.

Results are sorted by confidence descending; ties are broken by rule_id ascending.

pub fn dependents_of(&self, rule_id: u64) -> Vec<&IndexedRule>

Return all rules whose depends_on list contains rule_id, sorted by rule_id ascending.

pub fn rules_for_predicate(&self, predicate: &str) -> Vec<&IndexedRule>

Return all rules with the given head predicate, sorted by confidence descending.

Uses the predicate index for efficient lookup.

pub fn stats(&self) -> RuleIndexStats

Compute aggregate statistics over the current rule set.

Trait Implementations

impl Debug for TensorRuleIndex

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

Formats the value using the given formatter.

impl Default for TensorRuleIndex

fn default() -> TensorRuleIndex

Returns the “default value” for a type.