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