38#ifdef GECODE_HAS_FLOAT_VARS
50 for (
int i=0; i<x.size()-1; i++)
FloatTest(const std::string &s, int a, const Gecode::FloatVal &d)
Construct and register test.
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)
Post propagators on variables x.
Float(const std::string &s, const Gecode::FloatVal &d, int n)
Create and register test.
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)
Int d_3("Dense::3", d_dense, 3)
Int l_2("Large::2", d_large, 2)
Gecode::IntSet d_large(-2, 10)
Int l_3("Large::3", d_large, 3)
Gecode::IntSet d_dense(-2, 2)