34#ifndef __GECODE_INT_SUPPORT_VALUES_HH__
35#define __GECODE_INT_SUPPORT_VALUES_HH__
39namespace Gecode {
namespace Int {
47 template<
class View,
class A>
79 bool operator ()(
void)
const;
81 void operator ++(
void);
107 bool _support(
int n);
int n
Number of negative literals for node type.
struct Gecode::@603::NNF::@65::@67 a
For atomic nodes.
Node * x
Pointer to corresponding Boolean expression node.
Support value iterator and recorder
int val(void) const
Return current value.
void support(void)
Mark current (iterator) value as supported.
~SupportValues(void)
Destructor.
SupportValues(A &a, View x)
Initialize for view x.
ModEvent tell(Space &home)
Remove all unsupported values.
void operator++(void)
Move iterator to next value (if possible)
void reset(void)
Reset iterator.
bool operator()(void) const
Test whether iterator is still at a value or done.
Gecode toplevel namespace
int ModEvent
Type for modification events.