36 namespace 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 sync(void)
Synchronize available view-value graph.
Execution has resulted in failure.
DomCtrl(void)
Initialize with non-initialized view-value graph.
bool assigned(View x, int v)
Whether x is assigned to value v.
ExecStatus propagate(Space &home, bool &assigned)
Perform propagation, assigned is true if a view gets assigned.
Post propagator for SetVar x
Gecode toplevel namespace
bool available(void)
Check whether a view-value graph is available.