static const IntSet empty
Empty set.
Range iterator for computing intersection (binary)
Range iterator producing subsets of an IntSet.
Test for the atmostone propagator
virtual bool solution(const SetAssignment &x) const
Test whether x is solution
AtmostOne(const char *t)
Create and register test.
virtual void post(Space &home, SetVarArray &x, IntVarArray &)
Post constraint on x.
Generate all set assignments.
SetTest(const std::string &s, int a, const Gecode::IntSet &d, bool r=false, int w=0)
Constructor.
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVar x1)
Post propagator for .
unsigned int size(I &i)
Size of all ranges of range iterator i.
Gecode toplevel namespace
void atmostOne(Home home, const SetVarArgs &xa, unsigned int c)
Post propagator for SetVar x
Tests for distinctness constraints
AtmostOne _atmostone("Distinct::AtmostOne")