Gecode::Int::Element Namespace Reference
Element propagators More...
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) |
Detailed Description
Element propagators
Function Documentation
template<class V0 , class V1 >
ExecStatus Gecode::Int::Element::post_int | ( | Home | home, | |
IntSharedArray & | c, | |||
V0 | x0, | |||
V1 | x1 | |||
) | [inline] |
Post propagator with apropriate index and value types.
template<class VA , class VB , class VC , PropCond pc_ac, class RelTest >
ExecStatus Gecode::Int::Element::scan | ( | Space & | home, | |
IdxViewArray< VA > & | iv, | |||
VB | x0, | |||
VC | x1, | |||
Propagator & | p, | |||
RelTest | rt | |||
) | [inline] |