34namespace Gecode {
namespace Iter {
namespace Values {
44 template<
class I,
class M,
bool strict=false>
59 Map(I&
i,
const M&
m);
63 void init(I&
i,
const M&
m);
82 template<
class I,
class M,
bool strict>
86 template<
class I,
class M,
bool strict>
90 template<
class I,
class M,
bool strict>
94 template<
class I,
class M,
bool strict>
100 template<
class I,
class M,
bool strict>
106 template<
class I,
class M,
bool strict>
112 int n=m.val(i.val());
115 }
while (i() && (
n == m.val(i.val())));
118 template<
class I,
class M,
bool strict>
124 template<
class I,
class M,
bool strict>
127 return m.val(i.val());
int n
Number of negative literals for node type.
Value iterator for mapping values of a value iterator.
bool operator()(void) const
Test whether iterator is still at a value or done.
Map(void)
Default constructor.
void init(I &i)
Initialize with values from i.
int val(void) const
Return current value.
void operator++(void)
Move iterator to next value (if possible)
Gecode toplevel namespace