Struct XExtension 

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

Implementations

impl<'a> XExtension<'a>

pub fn from_str( list: &str, tuple: &str, is_support: bool, set: &'a XVariableSet, ) -> Result<Self, Xcsp3Error>

construct the constraint from two strings and a bool

pub fn new( scope: Vec<XVarVal>, set: &'a XVariableSet, tuples: Vec<Vec<i32>>, is_support: bool, ) -> Self

pub fn supports_iter(&self) -> Option<Iter<'_, Vec<i32>>>

return the iter of the supports tuples, if the value is i32::MAX, then it is the star

pub fn conflicts_iter(&self) -> Option<Iter<'_, Vec<i32>>>

return the iter of the conflict tuples, if the value is i32::MAX, then it is the star

Trait Implementations

impl Display for XExtension<'_>

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

Formats the value using the given formatter.

impl XConstraintTrait for XExtension<'_>

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