Struct XVariableSet

pub struct XVariableSet { /* private fields */ }

the XVariableSet is a container that store all variables.

Implementations

impl XVariableSet

pub fn iter(&self) -> Iter<'_, XVariableType>

pub fn new() -> XVariableSet

pub fn build_variable_int( &mut self, id: &str, domain_string: &str, symbolic: &String, )

pub fn build_variable_int_as(&mut self, id: &str, as_str: &str)

pub fn build_variable_array( &mut self, id: &str, sizes: &str, domain_string: &str, )

pub fn build_variable_tree( &mut self, id: &str, sizes: &str, domain_for: Vec<&String>, domain_value: Vec<&String>, )

pub fn find_variable(&self, id: &str) -> Result<&XVariableType, Xcsp3Error>

pub fn construct_scope( &self, scope_str: &[&String], ) -> Result<Vec<(String, &XDomainInteger)>, Xcsp3Error>

construct the scope from XVariableSet, when scope is equal to %x, where x is an i32 number, return empty tuple

Trait Implementations

impl Default for XVariableSet

fn default() -> Self

Returns the “default value” for a type.

impl Display for XVariableSet

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

Formats the value using the given formatter.