Type Alias LocationConstraint 

pub type LocationConstraint = BooleanExpression<Location>;

Constraint over the number of processes in a certain location

Aliased Type

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

Variants

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

Comparison between two integer expressions

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

Boolean expressions combined through boolean connective

Not(Box<BooleanExpression<Location>>)

Negation of boolean expression

True

true

False

false