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