40 namespace Test {
namespace Set {
Gecode::SetVarArray x
Set variables to be tested.
static std::string str(Gecode::SetRelType srt)
Map set relation to string.
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
void fail(void)
Fail space.
Simple test for wait (set variables)
virtual void post(Gecode::Space &home, Gecode::SetVarArray &x, Gecode::IntVarArray &)
Post wait on x.
static void c(Gecode::Space &_home)
Continuation to be executed.
virtual bool solution(const SetAssignment &x) const
Check whether x is solution.
Node * x
Pointer to corresponding Boolean expression node.
Base class for tests with set constraints
Generate all set assignments.
Gecode toplevel namespace
void wait(Home home, FloatVar x, void(*c)(Space &home))
Execute c when x becomes assigned.
bool assigned(void) const
Test if all variables are assigned.
Space for executing set tests.
int size(void) const
Return size of array (number of elements)
Wait(int n)
Create and register test.