|
class | Bnd |
| Bounds consistent global cardinality propagator. More...
|
|
class | CardConst |
| Constant view containing lower and upper cardinality bounds. More...
|
|
class | CardLess |
| Sort by increasing cardinality More...
|
|
class | CardView |
| Cardinality integer view. More...
|
|
class | Dom |
| Domain consistent global cardinality propagator. More...
|
|
class | Edge |
| Class for edges in the variable-value-graph. More...
|
|
class | HallInfo |
| Container class provding information about the Hall structure of the problem variables. More...
|
|
class | MaxInc |
| Compares two indices i, j of two views according to the ascending order of the views upper bounds. More...
|
|
class | MinIdx |
| Compares two cardinality views according to the index. More...
|
|
class | MinInc |
| Compares two indices i, j of two views according to the ascending order of the views lower bounds. More...
|
|
class | Node |
| Base class for nodes in the variable-value-graph. More...
|
|
class | PartialSum |
| Partial sum structure for constant time computation of the maximal capacity of an interval. More...
|
|
class | Rank |
| Maps domain bounds to their position in hall[].bounds. More...
|
|
class | UnReachable |
| Class for computing unreachable values in the value GCC propagator. More...
|
|
class | Val |
| Value consistent global cardinality propagator. More...
|
|
class | ValNode |
| Value node. More...
|
|
class | VarNode |
| Variable node More...
|
|
class | VarValGraph |
| Variable-value-graph used during propagation. More...
|
|
|
template<class Card > |
ExecStatus | prop_card (Space &home, ViewArray< IntView > &x, ViewArray< Card > &k) |
| Bounds consistency check for cardinality variables. More...
|
|
template<class Card > |
bool | card_consistent (ViewArray< IntView > &x, ViewArray< Card > &k) |
| Consistency check, whether the cardinality values are feasible. More...
|
|
template<class Card > |
ExecStatus | postSideConstraints (Home home, ViewArray< IntView > &x, ViewArray< Card > &k) |
| Post side constraints for the GCC. More...
|
|
template<class Card > |
bool | isDistinct (Home home, ViewArray< IntView > &x, ViewArray< Card > &k) |
| Check if GCC is equivalent to distinct. More...
|
|
template<class Card > |
ExecStatus | prop_val (Space &home, Propagator &p, ViewArray< IntView > &x, ViewArray< Card > &k) |
|
template<class T > |
bool | lookupValue (T &a, int v, int &i) |
| Return index of v in array a. More...
|
|
|
Each of the nodes on the path from start to end becomes a direct child of to.
|
void | pathset_ps (HallInfo hall[], int start, int end, int to) |
| Path compression for potentially stable set structure. More...
|
|
void | pathset_s (HallInfo hall[], int start, int end, int to) |
| Path compression for stable set structure. More...
|
|
void | pathset_t (HallInfo hall[], int start, int end, int to) |
| Path compression for capacity pointer structure. More...
|
|
void | pathset_h (HallInfo hall[], int start, int end, int to) |
| Path compression for hall pointer structure. More...
|
|
Global cardinality propagators (Counting)