Enum Constraint 

pub enum Constraint {
    AllDifferent(Vec<CspVarId>),
    Equal(CspVarId, CspVarId),
    NotEqual(CspVarId, CspVarId),
    LessThan(CspVarId, CspVarId),
    LessEqual(CspVarId, CspVarId),
    Sum {
        vars: Vec<CspVarId>,
        target: i64,
    },
    InDomain {
        var: CspVarId,
        allowed: Vec<i64>,
    },
}

A constraint relating one or more CSP variables.

Variants

AllDifferent(Vec<CspVarId>)

All listed variables must take pairwise-distinct values.

Equal(CspVarId, CspVarId)

Two variables must be equal: a == b.

NotEqual(CspVarId, CspVarId)

Two variables must differ: a != b.

LessThan(CspVarId, CspVarId)

Strict ordering: a < b.

LessEqual(CspVarId, CspVarId)

Non-strict ordering: a <= b.

Sum

Sum of values must equal target: Σ vars[i] == target.

Fields

vars: Vec<CspVarId>

Variables to sum.

target: i64

Required total.

InDomain

Variable must take a value from the allowed list.

Fields

var: CspVarId

The variable to restrict.

allowed: Vec<i64>

Allowed values (does not need to be sorted).

Implementations

impl Constraint

pub fn variables(&self) -> Vec<CspVarId>

Return the set of variable ids that participate in this constraint.

pub fn involves(&self, var: CspVarId) -> bool

Return true when var is mentioned in this constraint.

Trait Implementations

impl Clone for Constraint

fn clone(&self) -> Constraint

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Constraint

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

Formats the value using the given formatter.

impl Eq for Constraint

impl PartialEq for Constraint

fn eq(&self, other: &Constraint) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for Constraint