42 Bool(
const std::string& s,
int n)
BoolTest(const std::string &s, int a)
Construct and register test.
Test branching with distinct propagator
Bool(const std::string &s, int n)
Create and register test.
virtual void post(Gecode::Space &home, Gecode::BoolVarArray &x)
Post propagators on variables x.
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVar x1)
Post propagator for .