Struct ValidationUtils 

pub struct ValidationUtils;

Validation utilities for enhanced checking.

Implementations

impl ValidationUtils

pub fn is_valid(table: &SymbolTable) -> bool

Quick validation check (returns true if valid).

Examples

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

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

assert!(ValidationUtils::is_valid(&table));

pub fn detailed_validation(table: &SymbolTable) -> Result<ValidationReport>

Get detailed validation report.

Examples

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

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

let report = ValidationUtils::detailed_validation(&table);
assert!(report.is_ok());

pub fn is_domain_used(table: &SymbolTable, domain_name: &str) -> bool

Check if a specific domain is used.

Examples

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

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

assert!(ValidationUtils::is_domain_used(&table, "Person"));
assert!(!ValidationUtils::is_domain_used(&table, "Nonexistent"));