38 namespace Gecode {
namespace Iter {
namespace Values {
48 template<
class I,
class M,
bool strict=false>
63 Map(I& i,
const M& m);
67 void init(I& i,
const M& m);
86 template<
class I,
class M,
bool strict>
90 template<
class I,
class M,
bool strict>
94 template<
class I,
class M,
bool strict>
98 template<
class I,
class M,
bool strict>
104 template<
class I,
class M,
bool strict>
110 template<
class I,
class M,
bool strict>
116 int n=m.val(
i.val());
119 }
while (
i() && (n == m.val(
i.val())));
122 template<
class I,
class M,
bool strict>
128 template<
class I,
class M,
bool strict>
131 return m.val(
i.val());
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
void init(I &i)
Initialize with values from i.
void operator++(void)
Move iterator to next value (if possible)
Value iterator for mapping values of a value iterator.
int val(void) const
Return current value.
bool operator()(void) const
Test whether iterator is still at a value or done.
Map(void)
Default constructor.
Gecode toplevel namespace