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) {}
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