38 namespace Gecode {
namespace Iter {
namespace Values {
101 }
while (
i() && (
i.val() ==
n));
void init(I &i)
Initialize with value iterator i.
void operator++(void)
Move iterator to next unique value (if possible)
Unique(void)
Default constructor.
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
Remove duplicate values from from value iterator.
bool operator()(void) const
Test whether iterator is still at a value or done.
Gecode toplevel namespace
int val(void) const
Return current value.