Protected Member Functions |
| Val (Space &home, bool share, Val &p) |
| Constructor for cloning p.
|
| Val (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::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.