38#ifdef GECODE_HAS_FLOAT_VARS
40namespace Test {
namespace Assign {
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
Test assignment with distinct propagator
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)