40 namespace Test {
namespace Branch {
46 Bool(
const std::string& s,
int n)
Base class for tests for branching on Boolean variables
virtual void post(Gecode::Space &home, Gecode::BoolVarArray &x)
Post propagators on variables x.
int n
Number of negative literals for node type.
Test brancher with distinct propagator
Bool(const std::string &s, int n)
Create and register test.
Node * x
Pointer to corresponding Boolean expression node.
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVal n)
Propagates .