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