36#ifdef GECODE_HAS_SET_VARS
38namespace Test {
namespace Assign {
49 for (
int i=0; i<
x.
size()-1; i++)
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)
Passing integer arguments.
Base class for tests for branching on set variables
Test assignment with disjoint union propagator
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)