Type Alias BooleanVarConstraint 

pub type BooleanVarConstraint = BooleanExpression<Variable>;

Constraint over the valuation of the shared variables

Aliased Type

pub enum BooleanVarConstraint {
    ComparisonExpression(Box<IntegerExpression<Variable>>, ComparisonOp, Box<IntegerExpression<Variable>>),
    BinaryExpression(Box<BooleanExpression<Variable>>, BooleanConnective, Box<BooleanExpression<Variable>>),
    Not(Box<BooleanExpression<Variable>>),
    True,
    False,
}

Variants

ComparisonExpression(Box<IntegerExpression<Variable>>, ComparisonOp, Box<IntegerExpression<Variable>>)

Comparison between two integer expressions

BinaryExpression(Box<BooleanExpression<Variable>>, BooleanConnective, Box<BooleanExpression<Variable>>)

Boolean expressions combined through boolean connective

Not(Box<BooleanExpression<Variable>>)

Negation of boolean expression

True

true

False

false

Trait Implementations

impl VariableConstraint for BooleanVarConstraint

fn as_boolean_expr(&self) -> BooleanExpression<Variable>

Get the guard as a boolean expression over variables