Element propagators
More...
|
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) |
|
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.
Definition at line 403 of file int.hpp.
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 |
|
) |
| |