Struct QueryUtils 

pub struct QueryUtils;

Query utilities for advanced filtering and searching.

Implementations

impl QueryUtils

pub fn find_predicates_using_domain( table: &SymbolTable, domain_name: &str, ) -> Vec<PredicateInfo>

Find all predicates that use a specific domain.

Examples

use tensorlogic_adapters::{SymbolTable, DomainInfo, PredicateInfo, QueryUtils};

let mut table = SymbolTable::new();
table.add_domain(DomainInfo::new("Person", 100)).unwrap();
table.add_predicate(PredicateInfo::new("knows", vec!["Person".to_string(), "Person".to_string()])).unwrap();

let predicates = QueryUtils::find_predicates_using_domain(&table, "Person");
assert_eq!(predicates.len(), 1);
assert_eq!(predicates[0].name, "knows");

pub fn find_unused_domains(table: &SymbolTable) -> Vec<String>

Find all domains that are never used by any predicate.

Examples

use tensorlogic_adapters::{SymbolTable, DomainInfo, QueryUtils};

let mut table = SymbolTable::new();
table.add_domain(DomainInfo::new("Person", 100)).unwrap();
table.add_domain(DomainInfo::new("Unused", 10)).unwrap();

let unused = QueryUtils::find_unused_domains(&table);
assert_eq!(unused.len(), 2); // Both are unused as no predicates defined

pub fn find_predicates_by_arity( table: &SymbolTable, arity: usize, ) -> Vec<PredicateInfo>

Find predicates with a specific arity.

Examples

use tensorlogic_adapters::{SymbolTable, DomainInfo, PredicateInfo, QueryUtils};

let mut table = SymbolTable::new();
table.add_domain(DomainInfo::new("Person", 100)).unwrap();
table.add_predicate(PredicateInfo::new("knows", vec!["Person".to_string(), "Person".to_string()])).unwrap();
table.add_predicate(PredicateInfo::new("age", vec!["Person".to_string()])).unwrap();

let binary = QueryUtils::find_predicates_by_arity(&table, 2);
assert_eq!(binary.len(), 1);
assert_eq!(binary[0].name, "knows");

pub fn group_predicates_by_arity( table: &SymbolTable, ) -> HashMap<usize, Vec<PredicateInfo>>

Group predicates by their arity.

Examples

use tensorlogic_adapters::{SymbolTable, DomainInfo, PredicateInfo, QueryUtils};

let mut table = SymbolTable::new();
table.add_domain(DomainInfo::new("Person", 100)).unwrap();
table.add_predicate(PredicateInfo::new("knows", vec!["Person".to_string(), "Person".to_string()])).unwrap();
table.add_predicate(PredicateInfo::new("age", vec!["Person".to_string()])).unwrap();

let grouped = QueryUtils::group_predicates_by_arity(&table);
assert_eq!(grouped.get(&1).unwrap().len(), 1);
assert_eq!(grouped.get(&2).unwrap().len(), 1);