|
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). |