36namespace Gecode {
namespace Int {
namespace Distinct {
56 return g.init(home,
x);
71 return g.prune(home,assigned);
ExecStatus init(Space &home, ViewArray< View > &x)
Initialize view-value graph for views x.
ExecStatus propagate(Space &home, bool &assigned)
Perform propagation, assigned is true if a view gets assigned.
bool available(void)
Check whether a view-value graph is available.
ExecStatus sync(void)
Synchronize available view-value graph.
DomCtrl(void)
Initialize with non-initialized view-value graph.
Gecode toplevel namespace
@ ES_OK
Execution is okay.
@ ES_FAILED
Execution has resulted in failure.
Post propagator for SetVar x