Struct AllDifferentExcept 

pub struct AllDifferentExcept<V: Clone + PartialEq + Debug> { /* private fields */ }

All-different over the scope, except that the configured sentinel value may be assigned to any number of variables.

Non-sentinel assignments must remain pairwise distinct.

Implementations

impl<V: Clone + PartialEq + Debug> AllDifferentExcept<V>

pub fn new(vars: Vec<VarId>, sentinel: V) -> Self

Create a new all-different-except constraint over vars, treating sentinel as the escape value that may be reused without conflict.

Trait Implementations

impl<D> Constraint<D> for AllDifferentExcept<D::Value>

where D: Domain, D::Value: PartialEq,

fn scope(&self) -> &[VarId]

The variables this constraint involves (its “scope”).

fn check(&self, assignment: &[Option<D::Value>]) -> bool

Check whether a full or partial assignment satisfies this constraint.

fn revise(&self, vars: &mut [Variable<D>], depth: usize) -> Revision

AC-3 style revision: prune unsupported values from domains.

impl<V: Debug + Clone + PartialEq + Debug> Debug for AllDifferentExcept<V>

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

Formats the value using the given formatter.