Type Alias ParameterConstraint 

pub type ParameterConstraint = BooleanExpression<Parameter>;

Constraint over the valuation of parameters

Aliased Type

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

Variants

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

Comparison between two integer expressions

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

Boolean expressions combined through boolean connective

Not(Box<BooleanExpression<Parameter>>)

Negation of boolean expression

True

true

False

false