42 namespace Gecode {
namespace Int {
namespace Distinct {
51 return new (home)
EqIte(home,*
this);
ModEvent inter_r(Space &home, I &i, bool depends=true)
Intersect domain with ranges described by i.
ModEvent nq(Space &home, int n)
Restrict domain values to be different from n.
EqIte(Space &home, EqIte &p)
Constructor for cloning p.
#define GECODE_REWRITE(prop, post)
Rewrite propagator by executing post function.
Relation may hold or not.
Range iterator for singleton range.
Binary domain consistent equality propagator.
ExecStatus ES_SUBSUMED(Propagator &p)
const FloatNum max
Largest allowed float value.
ModEvent eq(Space &home, int n)
Restrict domain values to be equal to n.
RelTest rtest_eq_dom(VX x, VY y)
Test whether views x and y are equal (use full domain information)
static ExecStatus post(Home home, IntView x0, IntView x1, int c0, int c1)
Post if-then-else propagator.
Range iterator for integer variable views
Propagation has computed fixpoint.
Base-class for both propagators and branchers.
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function (defined as high ternary)
const FloatNum min
Smallest allowed float value.
Execution has resulted in failure.
ModEvent lq(Space &home, int n)
Restrict domain values to be less or equal than n.
RelTest
Result of testing relation.
int c0
The integer constant.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
int min(void) const
Return minimum of domain.
union Gecode::@585::NNF::@62 u
Union depending on nodetype t.
#define GECODE_ME_CHECK(me)
Check whether modification event me is failed, and forward failure.
Range iterator for computing union (binary)
ModEvent gq(Space &home, int n)
Restrict domain values to be greater or equal than n.
Gecode toplevel namespace
int max(void) const
Return maximum of domain.
int ModEventDelta
Modification event deltas.
virtual Actor * copy(Space &home)
Copy propagator during cloning.
static PropCost binary(PropCost::Mod m)
Two variables for modifier pcm.
#define GECODE_NEVER
Assert that this command is never executed.