Struct TermIndexBuilder 

pub struct TermIndexBuilder {
    pub index: HashMap<TermType, Vec<TermRef>>,
}

Builds and queries an inverted index over TensorLogic terms.

The index maps each TermType to the list of TermRefs (posting list) that identify every rule/fact position where that term occurs.

Example

use ipfrs_tensorlogic::term_index::{TermIndexBuilder, TermPosition, TermType};

let mut builder = TermIndexBuilder::new();

builder.index_term(
    TermType::Predicate("parent".to_string()),
    1,
    TermPosition::Head,
);

let refs = builder.lookup_predicate("parent");
assert_eq!(refs.len(), 1);
assert_eq!(refs[0].rule_id, 1);

Fields

index: HashMap<TermType, Vec<TermRef>>

The underlying inverted index.

Implementations

impl TermIndexBuilder

pub fn new() -> Self

Create a new, empty TermIndexBuilder.

pub fn index_term( &mut self, term: TermType, rule_id: u64, position: TermPosition, )

Add a term occurrence to the index.

Appends a TermRef to the posting list for term.

pub fn lookup(&self, term: &TermType) -> &[TermRef]

Return the posting list for term, or an empty slice if absent.

pub fn lookup_predicate(&self, name: &str) -> &[TermRef]

Return the posting list for Predicate(name), or an empty slice.

pub fn lookup_constant(&self, name: &str) -> &[TermRef]

Return the posting list for Constant(name), or an empty slice.

pub fn rules_for_predicate(&self, name: &str) -> Vec<u64>

Return a deduplicated, sorted list of rule IDs that mention Predicate(name).

pub fn remove_rule(&mut self, rule_id: u64)

Remove all TermRefs belonging to rule_id from every posting list.

Posting lists that become empty after removal are dropped from the index.

pub fn stats(&self) -> IndexStats

Return statistics about the current state of the index.

pub fn clear(&mut self)

Remove all entries from the index.

Trait Implementations

impl Debug for TermIndexBuilder

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

Formats the value using the given formatter.

impl Default for TermIndexBuilder

fn default() -> TermIndexBuilder

Returns the “default value” for a type.