Struct XAllDifferent 

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

Implementations

impl<'a> XAllDifferent<'a>

pub fn from_str_vec(scope_vec_str: Vec<XVarVal>, set: &'a XVariableSet) -> Self

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

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

Trait Implementations

impl Display for XAllDifferent<'_>

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

Formats the value using the given formatter.

impl XConstraintTrait for XAllDifferent<'_>

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