43 namespace Test {
namespace Int {
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)
void sequence(Home home, const IntVarArgs &x, const IntSet &s, int q, int l, int u, IntPropLevel)
Post propagator for .
void channel(Home home, FloatVar x0, IntVar x1)
Post propagator for channeling a float and an integer variable .
int size(void) const
Return size of array (number of elements)
const FloatNum max
Largest allowed float value.
SequenceBoolTest(const std::string &s, const Gecode::IntSet &s0, int q0, int l0, int u0, int size)
Create and register test.
int size(void) const
Return number of variables.
Create(void)
Perform creation and registration.
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.
const FloatNum min
Smallest allowed float value.
Gecode::IntArgs i(4, 1, 2, 3, 4)
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x)
Post constraint on x.
unsigned int size(I &i)
Size of all ranges of range iterator i.
Test for sequence with boolean variables
Test for sequence with boolean variables
Passing integer arguments.
Passing Boolean variables.
struct Gecode::@585::NNF::@62::@63 b
For binary nodes (and, or, eqv)
Node * x
Pointer to corresponding Boolean expression node.
struct Gecode::@585::NNF::@62::@64 a
For atomic nodes.
Base class for assignments
Help class to create and register tests.
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x)
Post constraint on x.
Gecode toplevel namespace
bool in(int n) const
Return whether n is included in the set.
virtual bool solution(const Assignment &x) const
Test whether x is solutionin
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.