43namespace Test {
namespace Int {
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)
struct Gecode::@603::NNF::@65::@66 b
For binary nodes (and, or, eqv)
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)
Passing Boolean variables.
Passing integer arguments.
bool in(int n) const
Return whether n is included in the set.
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 .