36#ifdef GECODE_HAS_SET_VARS
49 for (
int i=0; i<x.size()-1; i++)
Passing integer arguments.
SetTest(const std::string &s, int a, const Gecode::IntSet &d)
Construct and register test.
Set(const std::string &s, const Gecode::IntSet &d, int n)
Create and register test.
virtual void post(Gecode::Space &home, Gecode::SetVarArray &x)
Post propagators on variables x.
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVar x1)
Post propagator for .
Int d_3("Dense::3", d_dense, 3)
Int s_3("Sparse::3", d_sparse, 3)