40 namespace Gecode {
namespace Int {
namespace Distinct {
54 return g.initialized();
60 return g.init(home,x);
75 return g.prune(home,assigned);
ExecStatus init(Space &home, ViewArray< View > &x)
Initialize view-value graph for views x.
Execution has resulted in failure.
ExecStatus sync(Space &home)
Synchronize available view-value graph.
Node * x
Pointer to corresponding Boolean expression node.
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.
Gecode toplevel namespace
bool available(void)
Check whether a view-value graph is available.