40 namespace Gecode {
namespace Set {
namespace Rel {
42 template<
class View0,
class View1,
class CtrlView, ReifyMode rm>
45 View1 y1, CtrlView b0)
52 template<
class View0,
class View1,
class CtrlView, ReifyMode rm>
62 template<
class View0,
class View1,
class CtrlView, ReifyMode rm>
69 template<
class View0,
class View1,
class CtrlView, ReifyMode rm>
77 template<
class View0,
class View1,
class CtrlView, ReifyMode rm>
87 template<
class View0,
class View1,
class CtrlView, ReifyMode rm>
99 template<
class View0,
class View1,
class CtrlView, ReifyMode rm>
105 template<
class View0,
class View1,
class CtrlView, ReifyMode rm>
121 if (
x0.cardMin() >
x1.cardMax()) {
148 }
else if (
x0.assigned() &&
x1.assigned()) {
155 if (
x0.cardMin() > 0) {
ReSubset(Space &home, ReSubset &p)
Constructor for cloning p.
#define GECODE_REWRITE(prop, post)
Rewrite propagator by executing post function.
virtual size_t dispose(Space &home)
Delete propagator and return its size.
Inverse implication for reification.
CtrlView b
Boolean control view.
ExecStatus ES_SUBSUMED(Propagator &p)
Propagator for the subset constraint
virtual void reschedule(Space &home)
Schedule function.
Base-class for propagators.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
Range iterator for the greatest lower bound.
Propagation has computed fixpoint.
Range iterator for the least upper bound.
Base-class for both propagators and branchers.
virtual Actor * copy(Space &home)
Copy propagator during cloning.
int p
Number of positive literals for node type.
Gecode::IntArgs i(4, 1, 2, 3, 4)
Range iterator for computing intersection (binary)
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function (defined as ternary low)
bool same(VX, VY)
Test whether two views are in fact the same.
#define GECODE_ME_CHECK(me)
Check whether modification event me is failed, and forward failure.
const Gecode::PropCond PC_SET_ANY
Propagate when any bound or the cardinality of a view changes.
struct Gecode::@585::NNF::@62::@63 b
For binary nodes (and, or, eqv)
Reified subset propagator
virtual size_t dispose(Space &home)
Delete actor and return its size.
Propagator for the negated subset constraint
static PropCost ternary(PropCost::Mod m)
Three variables for modifier pcm.
Gecode toplevel namespace
Implication for reification.
Range iterator for computing set difference.
static ExecStatus post(Home home, View0 x, View1 y, CtrlView b)
Post propagator for .
int ModEventDelta
Modification event deltas.
Home class for posting propagators
const Gecode::PropCond PC_INT_VAL
Propagate when a view becomes assigned (single value)