40 namespace Test {
namespace Set {
int size(void) const
Return size of array (number of elements)
Gecode::SetVarArray x
Set variables to be tested.
static std::string str(Gecode::SetRelType srt)
Map set relation to string.
bool assigned(void) const
Test if all variables are assigned.
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.
Space for executing set tests.
Wait(int n)
Create and register test.