38 namespace Test {
namespace Set {
60 for (
int i=0;
i<4;
i++) {
66 if (xi.
min() <= oldMax)
86 :
SetTest(
"Sequence::SeqU"+str(n0),n0+1,ds_33,false), n(n0) {}
90 for (
int i=0;
i<
n;
i++) {
96 if (xi.
min() <= oldMax)
102 isrs[
i].init(x.
lub, x[
i]);
116 for (
int i=x.
size()-1;
i--;)
SeqU(int n0)
Create and register test.
const int min
Smallest allowed integer in integer set.
void sequence(Home home, const IntVarArgs &x, const IntSet &s, int q, int l, int u, IntPropLevel)
Post propagator for .
Test for sequence constraint
int size(void) const
Return size of array (number of elements)
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
virtual void post(Space &home, SetVarArray &x, IntVarArray &)
Post constraint on x.
bool equal(I &i, J &j)
Check whether range iterators i and j are equal.
int min(int i) const
Return minimum of range at position i.
Test for Region memory area
Sequence(const char *t)
Create and register test.
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
int max(int i) const
Return maximum of range at position i.
Range iterator for union of iterators.
Gecode::IntSet lub
The common superset for all domains.
union Gecode::@585::NNF::@62 u
Union depending on nodetype t.
virtual void post(Space &home, SetVarArray &x, IntVarArray &)
Post constraint on x.
Post propagator for SetVar SetOpType SetVar SetRelType r
virtual bool solution(const SetAssignment &x) const
Test whether x is solution
virtual bool solution(const SetAssignment &x) const
Test whether x is solution
Test for sequential-union constraint
Base class for tests with set constraints
Generate all set assignments.
Range iterator producing subsets of an IntSet.
Post propagator for SetVar x
int ranges(void) const
Return number of ranges of the specification.
Sequence _sequence("Sequence::Sequence")
Gecode toplevel namespace