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