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.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
union Gecode::@602::NNF::@65 u
Union depending on nodetype t.
Gecode toplevel namespace
int max(void) const
Return maximum of domain.
Relation may hold or not.
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)
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)
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.
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.