|
| Basic (Space &home, bool share, Basic< View, shared > &p) |
| Constructor for cloning p. More...
|
|
| Basic (Home home, ViewArray< View > &x, const TupleSet &t) |
| Constructor for posting. More...
|
|
TupleSet::TupleSetI * | ts (void) |
|
| Base (Space &home, bool share, Base< View, true > &p) |
| Constructor for cloning p. More...
|
|
| Base (Home home, ViewArray< View > &x, const TupleSet &t) |
| Constructor for posting. More...
|
|
void | init_last (Space &home, Tuple **source, Tuple *base) |
| Initialize last support. More...
|
|
Tuple | last (int i, int n) |
| Find last support for view at position i and value n. More...
|
|
Tuple | last_next (int i, int n) |
| Find last support for view at position i and value n. More...
|
|
void | init_dom (Space &home, Domain dom) |
| Initialize domain information. More...
|
|
bool | valid (Tuple t, Domain dom) |
| Check wether tuple is valid for domain. More...
|
|
Tuple | find_support (Domain dom, int i, int n) |
| Find support for view at position i and value n. More...
|
|
virtual | ~Base (void) |
| Unused destructor (to avoid warnings) More...
|
|
| Propagator (Home home) |
| Constructor for posting. More...
|
|
| Propagator (Space &home, bool share, Propagator &p) |
| Constructor for cloning p. More...
|
|
Propagator * | fwd (void) const |
| Return forwarding pointer during copying. More...
|
|
template<class View, bool shared>
class Gecode::Int::Extensional::Basic< View, shared >
Domain consistent extensional propagator.
This propagator implements a basic extensional propagation algorithm. It is based on GAC2001, and as such it does not fully take into account multidirectionality.
If shared is true, the same view can occur multiply.
Requires
Definition at line 295 of file extensional.hh.