40 namespace Gecode {
namespace Int {
namespace Distinct {
int val(void) const
Return assigned value (only if assigned)
const FloatNum max
Largest allowed float value.
static ExecStatus post(Home home, IntView x0, IntView x1, int c0, int c1)
Post if-then-else propagator.
EqIte(Space &home, bool share, EqIte &p)
Constructor for cloning p.
bool in(int n) const
Test whether n is contained in domain.
int p
Number of positive literals for node type.
const FloatNum min
Smallest allowed float value.
ModEvent lq(Space &home, int n)
Restrict domain values to be less or equal than n.
int c0
The integer constant.
const Gecode::PropCond PC_INT_DOM
Propagate when domain changes.
int min(void) const
Return minimum of domain.
#define GECODE_ME_CHECK(me)
Check whether modification event me is failed, and forward failure.
Integer view for integer variables.
bool assigned(void) const
Test whether view is assigned.
ModEvent gq(Space &home, int n)
Restrict domain values to be greater or equal than n.
Equal-if-then-else domain-consistent propagator.
Gecode toplevel namespace
int max(void) const
Return maximum of domain.
Home class for posting propagators