38namespace Test {
namespace Set {
60 for (
int i=0; i<4; i++) {
63 if (
xi.ranges() > 0) {
90 for (
int i=0; i<
n; i++) {
93 if (
xi.ranges() > 0) {
102 isrs[i].init(
x.lub,
x[i]);
116 for (
int i=
x.
size()-1; i--;)
union Gecode::@603::NNF::@65 u
Union depending on nodetype t.
int n
Number of negative literals for node type.
Node * x
Pointer to corresponding Boolean expression node.
int size(void) const
Return size of array (number of elements)
Range iterator for union of iterators.
Test for Region memory area
Range iterator producing subsets of an IntSet.
Test for sequential-union constraint
virtual bool solution(const SetAssignment &x) const
Test whether x is solution
SeqU(int n0)
Create and register test.
virtual void post(Space &home, SetVarArray &x, IntVarArray &)
Post constraint on x.
Test for sequence constraint
virtual bool solution(const SetAssignment &x) const
Test whether x is solution
Sequence(const char *t)
Create and register test.
virtual void post(Space &home, SetVarArray &x, IntVarArray &)
Post constraint on x.
Generate all set assignments.
Base class for tests with set constraints
static std::string str(Gecode::SetRelType srt)
Map set relation to string.
virtual bool run(void)
Perform test.
bool equal(I &i, J &j)
Check whether range iterators i and j are equal.
const int min
Smallest allowed integer in integer set.
Gecode toplevel namespace
void sequence(Home home, const IntVarArgs &x, const IntSet &s, int q, int l, int u, IntPropLevel ipl=IPL_DEF)
Post propagator for .
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
Sequence _sequence("Sequence::Sequence")