36#ifdef GECODE_HAS_SET_VARS
38namespace Test {
namespace Branch {
49 for (
int i=
x.
size()-1; i--;)
57 const int v_sparse[6] = {-100,-10,0,10,100,1000};
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 set variables
virtual bool run(void)
Perform 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 .
@ SOT_DUNION
Disjoint union.
Gecode::IntSet d_sparse(v_sparse, 5)
Int s_3("Sparse::3", d_sparse, 3)
Int d_3("Dense::3", d_dense, 3)
Gecode::IntSet d_dense(-2, 2)