40#ifndef __GECODE_SET_RELOP_HH__
41#define __GECODE_SET_RELOP_HH__
46namespace Gecode {
namespace Set {
namespace RelOp {
60 template<
class View0,
class View1,
class View2>
90 template<
class View0,
class View1,
class View2>
121 template<
class View0,
class View1,
class View2>
151 template<
class View0,
class View1,
class View2>
181 template<
class View0,
class View1>
217 template<
class View0,
class View1>
254 template<
class View0,
class View1>
int p
Number of positive literals for node type.
Base-class for both propagators and branchers.
Home class for posting propagators
Mixed (n+1)-ary propagator.
Mixed ternary propagator.
ModEventDelta med
A set of modification events (used during propagation)
Growing sets of integers.
Shrinking sets of integers.
Propagator for nary intersection
LUBndSet intOfDets
Intersection of the determined (which are dropped)
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function.
static ExecStatus post(Home home, ViewArray< View0 > &y, View1 x)
Post propagator .
virtual Actor * copy(Space &home)
Copy propagator during cloning.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
bool shared
Whether the any views share a variable implementation.
IntersectionN(Space &home, IntersectionN &p)
Constructor for cloning p.
Propagator for ternary intersection
static ExecStatus post(Home home, View0 x, View1 y, View2 z)
Post propagator .
virtual Actor * copy(Space &home)
Copy propagator during cloning.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
Intersection(Space &home, Intersection &p)
Constructor for cloning p.
Propagator for nary partition
bool shared
Whether the any views share a variable implementation.
PartitionN(Space &home, PartitionN &p)
Constructor for cloning p.
GLBndSet unionOfDets
Union of the determined (which are dropped)
static ExecStatus post(Home home, ViewArray< View0 > &y, View1 x)
Post propagator .
virtual Actor * copy(Space &home)
Copy propagator during cloning.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function.
Propagator for the subset of union
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
SubOfUnion(Space &home, SubOfUnion &p)
Constructor for cloning p.
virtual Actor * copy(Space &home)
Copy propagator during cloning.
static ExecStatus post(Home home, View0 x, View1 y, View2 z)
Post propagator .
Propagator for the superset of intersection
virtual Actor * copy(Space &home)
Copy propagator during cloning.
static ExecStatus post(Home home, View0 x, View1 y, View2 z)
Post propagator .
SuperOfInter(Space &home, SuperOfInter &p)
Constructor for cloning p.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
Propagator for nary union
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function.
static ExecStatus post(Home home, ViewArray< View0 > &y, View1 x)
Post propagator .
GLBndSet unionOfDets
Union of the determined (which are dropped)
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
virtual Actor * copy(Space &home)
Copy propagator during cloning.
bool shared
Whether the any views share a variable implementation.
UnionN(Space &home, UnionN &p)
Constructor for cloning p.
Propagator for ternary union
static ExecStatus post(Home home, View0 x, View1 y, View2 z)
Post propagator .
virtual Actor * copy(Space &home)
Copy propagator during cloning.
Union(Space &home, Union &p)
Constructor for cloning p.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
int ModEventDelta
Modification event deltas.
const Gecode::PropCond PC_SET_CLUB
Propagate when the cardinality or the least upper bound of a view changes.
const Gecode::PropCond PC_SET_ANY
Propagate when any bound or the cardinality of a view changes.
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar SetRelType SetVar z
Post propagator for SetVar SetOpType SetVar y
Post propagator for SetVar x