Boolean constraints are composite constraints who maintain for each sub-constraint:
a status {unknown, true, false} indicating whether the subconstraint has been proven true or false
a targetStatus {unknown, true, false} indicating whether the subconstraint should be
true (in which case it is propagated) or false (in which case its opposite is propagated)
Public user API:
static constants associated to the encoding of the variable domain
these constants are passed as parameters to the constructor of IntVars
BOUNDS = an interval (keeping the lower and upper bounds)
Branching objects are responsible for controlling the execution of the program at a point where
the control flow may be split between different branches
Deprecated.replaced by the management incremental search (with a stack of BranchingTrace storing the
environment (local variables) associated to each choice point
Deprecated.replaced by the management incremental search (with a stack of BranchingTrace storing the
environment (local variables) associated to each choice point
Deprecated.replaced by the management incremental search (with a stack of BranchingTrace storing the
environment (local variables) associated to each choice point