Struct ProductDomain

Source

pub struct ProductDomain { /* private fields */ }

Expand description

A product domain representing a tuple of component domains.

Product domains enable cross-domain reasoning by creating composite types from multiple base domains. The cardinality of a product domain is the product of its component cardinalities.

§Examples

use tensorlogic_adapters::ProductDomain;

let product = ProductDomain::new(vec![
    "Person".to_string(),
    "Location".to_string()
]);

assert_eq!(product.arity(), 2);
assert_eq!(product.to_string(), "Person × Location");

Implementations§

Source §

impl ProductDomain

Source

pub fn new(components: Vec<String>) -> Self

Create a new product domain from component domains.

§Panics

Panics if components has fewer than 2 elements.

§Examples

use tensorlogic_adapters::ProductDomain;

let product = ProductDomain::new(vec!["A".to_string(), "B".to_string()]);
assert_eq!(product.arity(), 2);

Source

pub fn binary(a: impl Into<String>, b: impl Into<String>) -> Self

Create a binary product domain (A × B).

§Examples

use tensorlogic_adapters::ProductDomain;

let product = ProductDomain::binary("Person", "Location");
assert_eq!(product.to_string(), "Person × Location");

Source

pub fn ternary( a: impl Into<String>, b: impl Into<String>, c: impl Into<String>, ) -> Self

Create a ternary product domain (A × B × C).

§Examples

use tensorlogic_adapters::ProductDomain;

let product = ProductDomain::ternary("Person", "Location", "Time");
assert_eq!(product.to_string(), "Person × Location × Time");

Source

pub fn components(&self) -> &[String]

Get the component domains.

§Examples

use tensorlogic_adapters::ProductDomain;

let product = ProductDomain::binary("A", "B");
assert_eq!(product.components(), &["A", "B"]);

Source

pub fn arity(&self) -> usize

Get the arity (number of components) of this product.

§Examples

use tensorlogic_adapters::ProductDomain;

let product = ProductDomain::ternary("A", "B", "C");
assert_eq!(product.arity(), 3);

Source

pub fn cardinality(&self, table: &SymbolTable) -> Result<usize, AdapterError>

Compute the cardinality of this product domain.

Returns the product of component cardinalities, or an error if any component domain is not found in the symbol table.

§Examples

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

let mut table = SymbolTable::new();
table.add_domain(DomainInfo::new("A", 10)).unwrap();
table.add_domain(DomainInfo::new("B", 20)).unwrap();

let product = ProductDomain::binary("A", "B");
assert_eq!(product.cardinality(&table).unwrap(), 200);

Source

pub fn validate(&self, table: &SymbolTable) -> Result<(), AdapterError>

Check if all component domains exist in the symbol table.

§Examples

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

let mut table = SymbolTable::new();
table.add_domain(DomainInfo::new("A", 10)).unwrap();
table.add_domain(DomainInfo::new("B", 20)).unwrap();

let product = ProductDomain::binary("A", "B");
assert!(product.validate(&table).is_ok());

let invalid = ProductDomain::binary("A", "Unknown");
assert!(invalid.validate(&table).is_err());

Source

pub fn project(&self, index: usize) -> Option<&str>

Project to a specific component by index.

Returns the domain name of the component at the given index.

§Examples

use tensorlogic_adapters::ProductDomain;

let product = ProductDomain::ternary("A", "B", "C");
assert_eq!(product.project(0), Some("A"));
assert_eq!(product.project(1), Some("B"));
assert_eq!(product.project(2), Some("C"));
assert_eq!(product.project(3), None);

Source

pub fn slice( &self, start: usize, end: usize, ) -> Result<ProductDomain, AdapterError>

Get a subproduct by slicing component indices.

§Examples

use tensorlogic_adapters::ProductDomain;

let product = ProductDomain::new(vec![
    "A".to_string(),
    "B".to_string(),
    "C".to_string(),
    "D".to_string()
]);

// Get middle two components (B × C)
let sub = product.slice(1, 3).unwrap();
assert_eq!(sub.components(), &["B", "C"]);

Source

pub fn extend(&mut self, additional: Vec<String>)

Extend this product with additional components.

§Examples

use tensorlogic_adapters::ProductDomain;

let mut product = ProductDomain::binary("A", "B");
product.extend(vec!["C".to_string(), "D".to_string()]);
assert_eq!(product.arity(), 4);