class |
BoolNotView |
A view for boolean variable, that enforce not(b).
|
class |
EqView |
declare an BoolVar based on X and C, such as (X = C) is reified by this.
|
class |
IntBoolView |
An abstract class for boolean views over IntVar .
|
class |
LeqView |
declare an BoolVar based on X and C, such as (X <= C) is reified by this.
|
class |
MinusView |
View for -V, where V is a IntVar or view
|
class |
OffsetView |
declare an IntVar based on X and C, such as X + C
Based on "Views and Iterators for Generic Constraint Implementations"
C.
|
class |
ScaleView |
declare an IntVar based on X and C, such as X * C
|