Module constraints


Classes

Constraint
NOTUNK
UNK
eq
ge
gt
le
lt
ne

Functions

opose

[hide private]