47 namespace Test {
namespace Int {
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 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 .
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.
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.
struct Gecode::@579::NNF::@61::@63 a
For atomic nodes.
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.
struct Gecode::@579::NNF::@61::@62 b
For binary nodes (and, or, eqv)
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.
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.