Enum BooleanExpression 

pub enum BooleanExpression {
    True,
    False,
    Equal(Expression, Expression),
    LessThan(Expression, Expression),
    LessThanOrEqual(Expression, Expression),
    GreaterThan(Expression, Expression),
    GreaterThanOrEqual(Expression, Expression),
    And(Box<Self>, Box<Self>),
    Or(Box<Self>, Box<Self>),
    Not(Box<Self>),
    Xor(Box<Self>, Box<Self>),
    Implies(Box<Self>, Box<Self>),
    AllDifferent(Vec<Variable>),
    AtMostOne(Vec<Variable>),
    ExactlyOne(Vec<Variable>),
}

Boolean expressions for constraints

Variants

True

Always true

False

Always false

Equal(Expression, Expression)

Equality comparison

LessThan(Expression, Expression)

Less than comparison

LessThanOrEqual(Expression, Expression)

Less than or equal comparison

GreaterThan(Expression, Expression)

Greater than comparison

GreaterThanOrEqual(Expression, Expression)

Greater than or equal comparison

And(Box<Self>, Box<Self>)

Logical AND

Or(Box<Self>, Box<Self>)

Logical OR

Not(Box<Self>)

Logical NOT

Xor(Box<Self>, Box<Self>)

Logical XOR

Implies(Box<Self>, Box<Self>)

Implication (if-then)

AllDifferent(Vec<Variable>)

All different constraint

AtMostOne(Vec<Variable>)

At most one constraint

ExactlyOne(Vec<Variable>)

Exactly one constraint

Trait Implementations

impl Clone for BooleanExpression

fn clone(&self) -> BooleanExpression

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BooleanExpression

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

Formats the value using the given formatter.