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.
static std::string str(Gecode::SetRelType srt)
Map set relation to string.
SetOpType
Common operations for sets.
SetRelTypes(void)
Initialize iterator.
bool operator()(void) const
Test whether iterator is done.
Gecode::IntArgs i(4, 1, 2, 3, 4)
SetOpTypes(void)
Initialize iterator.
void operator++(void)
Increment to next operation type.
Passing integer arguments.
Gecode::SetOpType sot(void) const
Return current operation type.
Node * x
Pointer to corresponding Boolean expression node.
bool operator()(void) const
Test whether iterator is done.
Gecode toplevel namespace
Gecode::SetRelType srt(void) const
Return current relation type.
void operator++(void)
Increment to next relation type.