Struct XCardinality 

pub struct XCardinality<'a> { /* private fields */ }

Implementations

impl<'a> XCardinality<'a>

pub fn from_str( list: &str, values_str: &str, occurs_str: &str, closed_str: &str, set: &'a XVariableSet, ) -> Result<Self, Xcsp3Error>

pub fn new( scope: Vec<XVarVal>, values: Vec<XVarVal>, occurs: Vec<XVarVal>, set: &'a XVariableSet, closed: Option<bool>, ) -> Self

pub fn get_occurs(&self) -> &Vec<XVarVal>

pub fn get_closed(&self) -> &Option<bool>

pub fn get_values(&self) -> &Vec<XVarVal>

Trait Implementations

impl Display for XCardinality<'_>

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

Formats the value using the given formatter.

impl XConstraintTrait for XCardinality<'_>

fn get_scope_string(&self) -> &Vec<XVarVal>

get the scope string of constraint

fn get_scope(&mut self) -> Vec<(&String, &XDomainInteger)>

get the scope string of constraint