40 namespace Gecode {
namespace Int {
namespace Distinct {
60 return g.init(home,
x);
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.
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.