36 namespace Gecode {
namespace Int {
namespace Distinct {
53 (void)
new (home)
EqIte(home,x0,x1,c0,c1);
EqIte(Space &home, EqIte &p)
Constructor for cloning p.
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.
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