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 | IdxView |
Class for pair of index and view. More... | |
class | RelTestBnd |
Class for bounds-equality test. More... | |
class | RelTestDom |
Class for domain-equality test. 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 Support::SharedArray< int > | IntSharedArray |
Functions | |
template<class ViewA, class ViewB, PropCond pcb, class RelTest> | |
void | scan (Space *home, IdxView< ViewB > *iv, int &n, ViewA x0, ViewB x1, Propagator *p, RelTest rt) |
Typedef Documentation
typedef Support::SharedArray<int> Gecode::Int::Element::IntSharedArray |
Definition at line 47 of file element.hh.
Function Documentation
template<class ViewA, class ViewB, PropCond pcb, class RelTest>
void Gecode::Int::Element::scan | ( | Space * | home, | |
IdxView< ViewB > * | iv, | |||
int & | n, | |||
ViewA | x0, | |||
ViewB | x1, | |||
Propagator * | p, | |||
RelTest | rt | |||
) |