Struct SymbolTable 

pub struct SymbolTable {
    pub domains: IndexMap<String, DomainInfo>,
    pub predicates: IndexMap<String, PredicateInfo>,
    pub variables: IndexMap<String, String>,
}

Symbol table containing all domain, predicate, and variable information

Fields

domains: IndexMap<String, DomainInfo>

predicates: IndexMap<String, PredicateInfo>

variables: IndexMap<String, String>

Implementations

impl SymbolTable

pub fn new() -> Self

pub fn add_domain(&mut self, domain: DomainInfo) -> Result<()>

pub fn add_predicate(&mut self, predicate: PredicateInfo) -> Result<()>

pub fn bind_variable( &mut self, var: impl Into<String>, domain: impl Into<String>, ) -> Result<()>

pub fn get_domain(&self, name: &str) -> Option<&DomainInfo>

pub fn get_predicate(&self, name: &str) -> Option<&PredicateInfo>

pub fn get_variable_domain(&self, var: &str) -> Option<&str>

pub fn infer_from_expr(&mut self, expr: &TLExpr) -> Result<()>

pub fn to_json(&self) -> Result<String>

pub fn from_json(json: &str) -> Result<Self>

pub fn to_yaml(&self) -> Result<String>

pub fn from_yaml(yaml: &str) -> Result<Self>

Trait Implementations

impl Clone for SymbolTable

fn clone(&self) -> SymbolTable

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for SymbolTable

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for SymbolTable

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for SymbolTable

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl ProductDomainExt for SymbolTable

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

Add a product domain to the symbol table.

fn get_product_domain(&self, name: &str) -> Option<&ProductDomain>

Get a product domain by name.

fn list_product_domains(&self) -> Vec<(&str, &ProductDomain)>

List all product domains in the symbol table.

impl Serialize for SymbolTable

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.