40 #ifdef GECODE_HAS_SET_VARS
42 namespace Test {
namespace Assign {
53 for (
int i=0;
i<x.
size()-1;
i++)
Test assignment with disjoint union propagator
virtual void post(Gecode::Space &home, Gecode::SetVarArray &x)
Post propagators on variables x.
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
Passing integer arguments.
Int s_3("Sparse::3", d_sparse, 3)
Node * x
Pointer to corresponding Boolean expression node.
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVal n)
Propagates .
Set(const std::string &s, const Gecode::IntSet &d, int n)
Create and register test.
Int d_3("Dense::3", d_dense, 3)
int size(void) const
Return size of array (number of elements)
Base class for tests for branching on set variables