42 #ifdef GECODE_HAS_FLOAT_VARS
44 namespace Test {
namespace Branch {
54 for (
int i=0;
i<x.
size()-1;
i++)
Float(const std::string &s, const Gecode::FloatVal &d, int n, int nbSols)
Create and register test.
Test brancher with distinct propagator
Int l_3("Large::3", d_large, 3)
int nbSols
Maximum number of solutions searched during solving.
Gecode::IntSet d_large(-2, 10)
Int d_3("Dense::3", d_dense, 3)
Int l_2("Large::2", d_large, 2)
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
Base class for tests for branching on float variables
Int d_5("Dense::5", d_dense, 5)
Gecode::IntSet d_dense(-2, 2)
Node * x
Pointer to corresponding Boolean expression node.
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVal n)
Propagates .
int size(void) const
Return size of array (number of elements)
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)
Post propagators on variables x.