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