Gecode::Int::Element Namespace Reference
Detailed Description
Element propagators
Classes | |
| class | IdxValLink |
| Links for index-value map. More... | |
| class | IterIdx |
| Value iterator for indices in index-value map. More... | |
| class | IterVal |
| Value iterator for values in index-value map. More... | |
| class | IdxValMap |
| Class for index-value map. More... | |
| class | ViewToVarArg |
| Class to get VarArg type for view. 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 | 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... | |
Typedefs | |
| typedef SharedArray< int > | IntSharedArray |
Functions | |
| template<class VA, class VB, class VC, PropCond pc_ac, class RelTest> | |
| ExecStatus | scan (Space *home, IdxView< VA > *iv, int &n, VB x0, VC x1, Propagator *p, RelTest rt) |
Typedef Documentation
| typedef SharedArray<int> Gecode::Int::Element::IntSharedArray |
Definition at line 58 of file element.hh.
Function Documentation
template<class VA, class VB, class VC, PropCond pc_ac, class RelTest>
| ExecStatus Gecode::Int::Element::scan | ( | Space * | home, | |
| IdxView< VA > * | iv, | |||
| int & | n, | |||
| VB | x0, | |||
| VC | x1, | |||
| Propagator * | p, | |||
| RelTest | rt | |||
| ) | [inline] |