34#ifndef __GECODE_INT_SUPPORT_VALUES_HH__
35#define __GECODE_INT_SUPPORT_VALUES_HH__
39namespace Gecode {
namespace Int {
47 template<
class View,
class A>
107 bool _support(
int n);
int p
Number of positive literals for node type.
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.
bool pos(const View &x)
Test whether x is postive.
Gecode toplevel namespace
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
int ModEvent
Type for modification events.