
Element propagators More...
Classes | |
| class | Int |
| Element propagator for array of integers More... | |
| class | IterIdxView |
| Value iterator for indices in index-view map. More... | |
| class | Pair |
| Domain consistent pair propagator. More... | |
| class | PairValues |
| Value iterator for pair of iterators. 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 | 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... | |
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. More... | |
| 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) |
Element propagators
|
inline |
| ExecStatus Gecode::Int::Element::scan | ( | Space & | home, |
| IdxViewArray< VA > & | iv, | ||
| VB | x0, | ||
| VC | x1, | ||
| Propagator & | p, | ||
| RelTest | rt | ||
| ) |