Interface Summary Interface Description IViewAn interface to define views.
Class Summary Class Description BoolNotViewA view for boolean variable, that enforce not(b). EqViewdeclare an BoolVar based on X and C, such as (X = C) is reified by this. IntBoolViewAn abstract class for boolean views over
IntView<I extends IntVar>"A view implements the same operations as a variable. LeqViewdeclare an BoolVar based on X and C, such as (X <= C) is reified by this. MinusViewView for -V, where V is a IntVar or view OffsetViewdeclare an IntVar based on X and C, such as X + C
Based on "Views and Iterators for Generic Constraint Implementations"
RealView ScaleViewdeclare an IntVar based on X and C, such as X * C ViewDeltaMonitorA delta monitor dedicated to views