38 namespace Test {
namespace Set {
Propagator for negated equality
AtmostOne(const char *t)
Create and register test.
virtual void post(Space &home, SetVarArray &x, IntVarArray &)
Post constraint on x.
virtual bool solution(const SetAssignment &x) const
Test whether x is solution
Test for the atmostone propagator
AtmostOne _atmostone("Distinct::AtmostOne")
Gecode::IntArgs i(4, 1, 2, 3, 4)
Range iterator for computing intersection (binary)
unsigned int size(I &i)
Size of all ranges of range iterator i.
Gecode::IntSet lub
The common superset for all domains.
static const IntSet empty
Empty set.
void atmostOne(Home home, const SetVarArgs &xa, unsigned int c)
Base class for tests with set constraints
Generate all set assignments.
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVal n)
Propagates .
Range iterator producing subsets of an IntSet.
Post propagator for SetVar x
Gecode toplevel namespace