Protected Member Functions |
| Dom (Space &home, bool share, Dom &p) |
| Constructor for cloning p.
|
| Dom (Home home, ViewArray< View > &x, Offset &o) |
| Constructor for posting.
|
| Base (Space &home, bool share, Base &p) |
| Constructor for cloning p.
|
| Base (Home home, ViewArray< View > &x, Offset &o) |
| Constructor for posting.
|
ExecStatus | connected (Space &home) |
| Check whether the view value graph is strongly connected.
|
ExecStatus | path (Space &home) |
| Ensure path property: prune edges that could give to small cycles.
|
| NaryPropagator (Space &home, bool share, NaryPropagator &p) |
| Constructor for cloning p.
|
| NaryPropagator (Space &home, bool share, Propagator &p, ViewArray< View > &x) |
| Constructor for rewriting p during cloning.
|
| NaryPropagator (Home home, ViewArray< View > &x) |
| Constructor for creation.
|
| Propagator (Home home) |
| Constructor for posting.
|
| Propagator (Space &home, bool share, Propagator &p) |
| Constructor for cloning p.
|
template<class View, class Offset>
class Gecode::Int::Circuit::Dom< View, Offset >
"Domain consistent" circuit propagator
Propagates domain consistent distinct, checks that the induced variable value graph is stronlgy connected, and prunes too shot cycles.
Requires
Definition at line 123 of file circuit.hh.