40 namespace Test {
namespace Assign {
60 Int d_3(
"Dense::3",d_dense,3);
61 Int d_5(
"Dense::5",d_dense,5);
62 Int s_3(
"Sparse::3",d_sparse,3);
63 Int s_5(
"Sparse::5",d_sparse,5);
64 Int l_2(
"Large::2",d_large,2);
65 Int l_3(
"Large::3",d_large,3);
Gecode::IntSet d_dense(-2, 2)
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x)
Post propagators on variables x.
Int l_3("Large::3", d_large, 3)
int n
Number of negative literals for node type.
Int d_5("Dense::5", d_dense, 5)
Test assignment with distinct propagator
void distinct(Home home, const IntVarArgs &x, IntPropLevel ipl)
Post propagator for for all .
Int l_2("Large::2", d_large, 2)
Base class for tests for assigning integer variables
Int s_5("Sparse::5", d_sparse, 5)
Gecode::IntSet d_large(-2, 10)
Int(const std::string &s, const Gecode::IntSet &d, int n)
Create and register test.
Int s_3("Sparse::3", d_sparse, 3)
Node * x
Pointer to corresponding Boolean expression node.
Gecode::IntSet d_sparse(v_sparse, 5)
Int d_3("Dense::3", d_dense, 3)