Struct SymbolTable

#[non_exhaustive]
pub struct SymbolTable { /* private fields */ }

Stores all named variables in a Minion model alongside their domains.

Named variables referenced in constraints must be in the symbol table for the model to be valid. In the future, this will raise some sort of type error.

Implementations

impl SymbolTable

pub fn add_var(&mut self, name: VarName, vartype: VarDomain) -> Option<()>

Creates a new variable and adds it to the symbol table.

Returns

If a variable already exists with the given name, None is returned.

pub fn get_vartype(&self, name: VarName) -> Option<VarDomain>

Gets the domain of a named variable.

Returns

None if no variable is known by that name.

pub fn get_variable_order(&self) -> Vec<VarName>

Gets the canonical ordering of variables.

pub fn contains(&self, name: VarName) -> bool

Trait Implementations

impl Clone for SymbolTable

fn clone(&self) -> SymbolTable

Returns a copy 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 PartialEq for SymbolTable

fn eq(&self, other: &SymbolTable) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for SymbolTable

impl StructuralPartialEq for SymbolTable