38 namespace Test {
namespace Set {
82 for (
int i=0;
i<x.
size()-1;
i++)
84 return "[" + s +
str(x[x.
size()-1]) +
"]";
SetRelType
Common relation types for sets.
int size(void) const
Return size of array (number of elements)
static std::string str(Gecode::SetRelType srt)
Map set relation to string.
SetOpType
Common operations for sets.
SetRelTypes(void)
Initialize iterator.
Gecode::SetOpType sot(void) const
Return current operation type.
Gecode::IntArgs i(4, 1, 2, 3, 4)
SetOpTypes(void)
Initialize iterator.
bool operator()(void) const
Test whether iterator is done.
void operator++(void)
Increment to next operation type.
Passing integer arguments.
Node * x
Pointer to corresponding Boolean expression node.
bool operator()(void) const
Test whether iterator is done.
Gecode::SetRelType srt(void) const
Return current relation type.
Gecode toplevel namespace
void operator++(void)
Increment to next relation type.