47 namespace Test {
namespace Int {
67 :
Test(
"Sequence::"+s,size,min,max), s(s0), q(q0), l(l0), u(u0) {
71 for (
int i=0;
i< (x.
size() - q + 1);
i++ ) {
73 for (
int j=
i; j <
i +
q; j++ ) {
92 int q0,
int l0,
int u0,
int size)
100 for (
int i=0;
i<x.
size();
i++) {
113 int q0,
int l0,
int u0,
int size,
int min,
int max)
void channel(Home home, FloatVar x0, IntVar x1)
Post propagator for channeling a float and an integer variable .
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.
bool in(int n) const
Return whether n is included in the set.
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.
void sequence(Home home, const IntVarArgs &x, const IntSet &s, int q, int l, int u, IntConLevel)
Post propagator for .
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.
Node * x
Pointer to corresponding Boolean expression node.
virtual bool solution(const Assignment &x) const
Test whether x is solutionin
Base class for assignments
Help class to create and register tests.
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x)
Post constraint on x.
struct Gecode::@518::NNF::@57::@58 b
For binary nodes (and, or, eqv)
Gecode toplevel namespace
int size(void) const
Return size of array (number of elements)
struct Gecode::@518::NNF::@57::@59 a
For atomic nodes.
int size(void) const
Return number of variables.
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.