pub struct XVariableSet { /* private fields */ }
Expand description
the XVariableSet is a container that store all variables.
Implementations§
Source§impl XVariableSet
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>
Sourcepub fn construct_scope(
&self,
scope_str: &[&String],
) -> Result<Vec<(String, &XDomainInteger)>, 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§
Source§impl Default for XVariableSet
impl Default for XVariableSet
Auto Trait Implementations§
impl Freeze for XVariableSet
impl !RefUnwindSafe for XVariableSet
impl Send for XVariableSet
impl Sync for XVariableSet
impl Unpin for XVariableSet
impl !UnwindSafe for XVariableSet
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more