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 search variable and adds it to the symbol table.

Returns

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

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

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

This variable will excluded from Minions search and printing order.

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 all variables.

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

Gets the canonical ordering of search variables (i.e excluding aux vars).

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

Trait Implementations

impl Clone for SymbolTable

fn clone(&self) -> SymbolTable

Returns a duplicate of the value.

const 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 ==.

const 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

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 96 bytes