Class Summary |
AbstractPalmSplit |
An abstract implementation of a split constraint used for search algorithm. |
AbstractPalmUnRealConstraint |
Abstract implementation of an unary constraint on one real variable. |
PalmEquation |
Implements a constraint based on real expression that ensures that an equality
is true. |
PalmMixedCstElt |
Let x be an integer variable with n values and v be a real variable. |
PalmMixedEqXY |
|
PalmSplitLeft |
Splits the variable domain in two sub intervals and make the variable equal the
first half (the lower values). |
PalmSplitRight |
Splits the variable domain in two sub intervals and make the variable equal the
second half (the upper values). |