Package org.chocosolver.solver.variables.view

Interface Summary

Interface	Description
IView	An interface to define views.

Class Summary

Class	Description
BoolNotView	A view for boolean variable, that enforce not(b).
EqView	declare an BoolVar based on X and C, such as (X = C) is reified by this.
IntBoolView	An abstract class for boolean views over IntVar.
IntView<I extends IntVar>	"A view implements the same operations as a variable.
LeqView	declare an BoolVar based on X and C, such as (X <= C) is reified by this.
MinusView	View for -V, where V is a IntVar or view
OffsetView	declare an IntVar based on X and C, such as X + C Based on "Views and Iterators for Generic Constraint Implementations" C.
RealView
ScaleView	declare an IntVar based on X and C, such as X * C
ViewDeltaMonitor	A delta monitor dedicated to views