Struct ConversionUtils 

pub struct ConversionUtils;

Conversion utilities for different formats.

Implementations

impl ConversionUtils

pub fn to_summary(table: &SymbolTable) -> String

Convert a symbol table to a compact summary string.

Examples

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

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

let summary = ConversionUtils::to_summary(&table);
assert!(summary.contains("Domains: 1"));

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

Extract domain names as a sorted vector.

Examples

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

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

let names = ConversionUtils::extract_domain_names(&table);
assert_eq!(names, vec!["Organization", "Person"]);

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

Extract predicate names as a sorted vector.

Examples

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

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

let names = ConversionUtils::extract_predicate_names(&table);
assert_eq!(names, vec!["knows"]);