38 #ifndef __GECODE_INT_SUPPORT_VALUES_HH__
39 #define __GECODE_INT_SUPPORT_VALUES_HH__
43 namespace Gecode {
namespace Int {
51 template<
class View,
class A>
111 bool _support(
int n);
ModEvent tell(Space &home)
Remove all unsupported values.
bool pos(const View &x)
Test whether x is postive.
~SupportValues(void)
Destructor.
void operator++(void)
Move iterator to next value (if possible)
int ModEvent
Type for modification events.
int val(void) const
Return current value.
SupportValues(A &a, View x)
Initialize for view x.
int p
Number of positive literals for node type.
int n
Number of negative literals for node type.
void reset(void)
Reset iterator.
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
void support(void)
Mark current (iterator) value as supported.
bool operator()(void) const
Test whether iterator is still at a value or done.
Gecode toplevel namespace
Support value iterator and recorder