Classes |
| class | PairValues |
| | Value iterator for pair of iterators. More...
|
| class | ViewToVarArg< IntView > |
| | VarArg type for integer views. More...
|
| class | ViewToVarArg< BoolView > |
| | VarArg type for Boolean views. More...
|
| class | IdxView |
| | Class for pair of index and view. More...
|
| class | RelTestBnd |
| | Class for bounds-equality test. More...
|
| class | RelTestBnd< VA, ConstIntView > |
| | Class for bounds-equality test (specialized) More...
|
| class | RelTestDom |
| | Class for domain-equality test. More...
|
| class | RelTestDom< VA, ConstIntView > |
| | Class for domain-equality test (specialized) More...
|
| class | IterIdxView |
| | Value iterator for indices in index-view map. More...
|
| class | Int |
| | Element propagator for array of integers More...
|
| class | ViewToVarArg |
| | Class to get VarArg type for view. More...
|
| class | IdxViewArray |
| | An array of IndexView pairs. More...
|
| class | View |
| | Base-class for element propagator for array of views. More...
|
| class | ViewBnd |
| | Bounds consistent element propagator for array of views. More...
|
| class | ViewDom |
| | Domain consistent element propagator for array of views. More...
|
| class | Pair |
| | Domain consistent pair propagator. More...
|
| class | ViewToVarArg< Gecode::Set::ConstSetView > |
| | VarArg type for constant Set views. More...
|
| class | ViewToVarArg< Gecode::Set::SetView > |
| | VarArg type for Set views. More...
|
| class | ViewToVarArg< Gecode::Set::SingletonView > |
| | VarArg type for singleton views. More...
|
Functions |
| template<class V0 , class V1 > |
| ExecStatus | post_int (Home home, IntSharedArray &c, V0 x0, V1 x1) |
| | Post propagator with apropriate index and value types.
|
| template<class VA , class VB , class VC , PropCond pc_ac, class RelTest > |
| ExecStatus | scan (Space &home, IdxViewArray< VA > &iv, VB x0, VC x1, Propagator &p, RelTest rt) |
