62 int size,
int min,
int max)
63 :
Test(
"Sequence::"+
s,size,min,max),
s(s0),
q(q0),
l(l0),
u(u0) {
67 for (
int i=0; i< (x.size() -
q + 1); i++ ) {
69 for (
int j=i; j < i +
q; j++ ) {
88 int q0,
int l0,
int u0,
int size)
96 for (
int i=0; i<x.size(); i++) {
109 int q0,
int l0,
int u0,
int size,
int min,
int max)
Passing Boolean variables.
Passing integer arguments.
Base class for assignments
Help class to create and register tests.
Create(void)
Perform creation and registration.
Test for sequence with boolean variables
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x)
Post constraint on x.
SequenceBoolTest(const std::string &s, const Gecode::IntSet &s0, int q0, int l0, int u0, int size)
Create and register test.
Test for sequence with boolean variables
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x)
Post constraint on x.
SequenceIntTest(const std::string &s, const Gecode::IntSet &s0, int q0, int l0, int u0, int size, int min, int max)
Create and register test.
virtual bool solution(const Assignment &x) const
Test whether x is solutionin
SequenceTest(const std::string &s, const Gecode::IntSet &s0, int q0, int l0, int u0, int size, int min, int max)
Create and register test.
Gecode toplevel namespace
void channel(Home home, FloatVar x0, IntVar x1)
Post propagator for channeling a float and an integer variable .
void sequence(Home home, const IntVarArgs &x, const IntSet &s, int q, int l, int u, IntPropLevel ipl=IPL_DEF)
Post propagator for .
Tests for sequence constraints
Testing finite domain integers.