34#ifndef __GECODE_INT_SUPPORT_VALUES_HH__
35#define __GECODE_INT_SUPPORT_VALUES_HH__
47 template<
class View,
class A>
107 bool _support(
int n);
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
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
int ModEvent
Type for modification events.