34namespace Test {
namespace Set {
78 for (
int i=0; i<
x.
size()-1; i++)
80 return "[" + s +
str(
x[
x.size()-1]) +
"]";
85 : i(sizeof(srts)/sizeof(
Gecode::SetRelType)-1) {}
101 : i(sizeof(sots)/sizeof(
Gecode::SetOpType)-1) {}
Node * x
Pointer to corresponding Boolean expression node.
int size(void) const
Return size of array (number of elements)
Passing integer arguments.
SetOpTypes(void)
Initialize iterator.
Gecode::SetOpType sot(void) const
Return current operation type.
void operator++(void)
Increment to next operation type.
bool operator()(void) const
Test whether iterator is done.
SetRelTypes(void)
Initialize iterator.
void operator++(void)
Increment to next relation type.
Gecode::SetRelType srt(void) const
Return current relation type.
bool operator()(void) const
Test whether iterator is done.
static std::string str(Gecode::SetRelType srt)
Map set relation to string.
SetOpType
Common operations for sets.
SetRelType
Common relation types for sets.
@ SOT_DUNION
Disjoint union.
@ SRT_GQ
Greater or equal ( )
@ SRT_LQ
Less or equal ( )
Gecode toplevel namespace