42 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.
Test for the atmostone propagator
AtmostOne _atmostone("Distinct::AtmostOne")
void atmostOne(Home home, const SetVarArgs &xa, unsigned int c)
Post propagator for and .
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.
virtual bool solution(const SetAssignment &x) const
Test whether x is solution
Node * x
Pointer to corresponding Boolean expression node.
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.
Gecode toplevel namespace