40namespace Test {
namespace Set {
92 for (
int i=
x.
size()-2; i--;)
117 IntSet iss[] = {i0, i1, i2};
142 xs[0] = i0; xs[1] = i1; xs[2] = i2;
185 for (
int i=
x.
size()-2; i--;)
229 for (
int i=
x.
size()-2; i--;)
282 for (
int i=
x.
size()-2; i--;)
297 if (
x.intval() < 0 ||
x.intval() > 2)
306 for (
int i=
x.
size()-1; i--;)
322 :
SetTest(
t,1,ds_13,
false,
true), i0(-3,-3), i1(-1,1), i2(0,2) {}
325 if (
x.intval() < 0 ||
x.intval() > 2)
328 IntSet iss[] = {i0, i1, i2};
335 xs[0] = i0; xs[1] = i1; xs[2] = i2;
360 if ((
y[0] > 1) || (
y[1] > 1))
struct Gecode::@603::NNF::@65::@66 b
For binary nodes (and, or, eqv)
union Gecode::@603::NNF::@65 u
Union depending on nodetype t.
struct Gecode::@603::NNF::@65::@67 a
For atomic nodes.
Node * x
Pointer to corresponding Boolean expression node.
int size(void) const
Return size of array (number of elements)
Range iterator for integer sets.
Range iterator for intersection of iterators.
Range iterator for union of iterators.
Matrix-interface for arrays.
Base class for assignments
Test for Region memory area
Range iterator producing subsets of an IntSet.
Value iterator producing subsets of an IntSet.
Test for ElementDisjoint constraint
virtual bool solution(const SetAssignment &x) const
Test whether x is solution
virtual void post(Space &home, SetVarArray &x, IntVarArray &)
Post constraint on x.
ElementDisjoint(const char *t)
Create and register test.
Test for ElementInter constraint
ElementInterIn(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 ElementInter constraint
virtual bool solution(const SetAssignment &x) const
Test whether x is solution
ElementInter(const char *t)
Create and register test.
virtual void post(Space &home, SetVarArray &x, IntVarArray &)
Post constraint on x.
Test for ElementSetConst constraint
virtual bool solution(const SetAssignment &x) const
Test whether x is solution
virtual void post(Space &home, SetVarArray &x, IntVarArray &y)
Post constraint on x.
ElementSetConst(const char *t)
Create and register test.
Test for ElementSet constraint
ElementSet(const char *t)
Create and register test.
virtual void post(Space &home, SetVarArray &x, IntVarArray &y)
Post constraint on x.
virtual bool solution(const SetAssignment &x) const
Test whether x is solution
Test for ElementUnionConst constraint
virtual bool solution(const SetAssignment &x) const
Test whether x is solution
ElementUnionConst(const char *t)
Create and register test.
virtual void post(Space &home, SetVarArray &x, IntVarArray &)
Post constraint on x.
Test for ElementUnion constraint
virtual bool solution(const SetAssignment &x) const
Test whether x is solution
virtual void post(Space &home, SetVarArray &x, IntVarArray &)
Post constraint on x.
ElementUnion(const char *t)
Create and register test.
Test for matrix element with integer set array and set variable
Gecode::IntSetArgs tm
Array for test matrix.
virtual void post(Gecode::Space &home, Gecode::SetVarArray &x, Gecode::IntVarArray &y)
Post constraint on x and y.
MatrixIntSet(void)
Create and register test.
virtual bool solution(const SetAssignment &x) const
Test whether x is solution
Generate all set assignments.
Base class for tests with set constraints
virtual bool run(void)
Perform test.
@ SOT_DUNION
Disjoint union.
unsigned int size(I &i)
Size of all ranges of range iterator i.
bool equal(I &i, J &j)
Check whether range iterators i and j are equal.
const unsigned int card
Maximum cardinality of an integer set.
Gecode toplevel namespace
void element(Home home, IntSharedArray n, IntVar x0, IntVar x1, IntPropLevel ipl=IPL_DEF)
Post domain consistent propagator for .
Post propagator for SetVar SetOpType SetVar SetRelType SetVar z
Post propagator for SetVar SetOpType SetVar y
ElementInter _elementinter("Element::Inter")
ElementInterIn _elementinterin("Element::InterIn")
ElementSetConst _elementsetconst("Element::SetConst")
ElementUnionConst _elementunionconst("Element::UnionConst")
ElementDisjoint _elementdisjoint("Element::Disjoint")
ElementUnion _elementunion("Element::Union")
ElementSet _elementset("Element::Set")