Trait ProductDomainExt

Source

pub trait ProductDomainExt {
    // Required methods
    fn add_product_domain(
        &mut self,
        name: impl Into<String>,
        product: ProductDomain,
    ) -> Result<(), AdapterError>;
    fn get_product_domain(&self, name: &str) -> Option<&ProductDomain>;
    fn list_product_domains(&self) -> Vec<(&str, &ProductDomain)>;
}

Expand description

Extension trait for SymbolTable to support product domains.

Required Methods§

Source

fn add_product_domain( &mut self, name: impl Into<String>, product: ProductDomain, ) -> Result<(), AdapterError>

Add a product domain to the symbol table.

The product domain’s cardinality is computed from its components.

§Examples

use tensorlogic_adapters::{SymbolTable, DomainInfo, ProductDomain, ProductDomainExt};

let mut table = SymbolTable::new();
table.add_domain(DomainInfo::new("Person", 100)).expect("unwrap");
table.add_domain(DomainInfo::new("Location", 50)).expect("unwrap");

let product = ProductDomain::binary("Person", "Location");
table.add_product_domain("PersonAtLocation", product).expect("unwrap");

let domain = table.get_domain("PersonAtLocation").expect("unwrap");
assert_eq!(domain.cardinality, 5000);