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
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)