Go to the documentation of this file.
38 #ifndef __GECODE_SET_CHANNEL_HH__
39 #define __GECODE_SET_CHANNEL_HH__
43 namespace Gecode {
namespace Set {
namespace Channel {
150 Gecode::Int::PC_BOOL_VAL,
178 int index(
void)
const;
225 template<
typename View>
ViewArray< CachedView< View > > ys
SetViews that are constrained to be disjoint.
Post propagator for SetVar x
const Gecode::PropCond PC_BOOL_VAL
Propagate when a view becomes assigned (single value)
Post propagator for SetVar SetOpType SetVar y
ViewArray< CachedView< View > > xs
SetViews, reflects the successors of .
Council< IndexAdvisor > co
Council for managing advisors.
ChannelSet(Space &home, ChannelSet &p)
Constructor for cloning p.
static ExecStatus post(Home home, ViewArray< Gecode::Int::CachedView< Gecode::Int::IntView > > &x, ViewArray< CachedView< View > > &y)
Post propagator for .
Propagator for the sorted channel constraint
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function (defined as PC_LINEAR_LO)
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function (defined as PC_QUADRATIC_LO)
ViewArray< Gecode::Int::BoolView > x
Array of views.
virtual Actor * copy(Space &home)
Copy propagator during cloning.
Advisor storing a single index
virtual size_t dispose(Space &home)
Delete propagator and return its size.
IndexAdvisor(Space &home, ChannelBool< View > &p, Council< A > &c, int index)
Constructor for creation.
GLBndSet zeros
Accumulated zero Booleans.
void dispose(Space &home, Council< A > &c)
Delete advisor.
Base-class for both propagators and branchers.
virtual size_t dispose(Space &home)
Delete propagator and return its size.
View x0
SetView for the match.
ViewArray< CachedView< View > > ys
SetViews, reflects the predecessors of .
Mixed (n+1)-ary propagator.
virtual void reschedule(Space &home)
Schedule function.
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function (defined as PC_QUADRATIC_HI)
Boolean view for Boolean variables.
virtual Actor * copy(Space &home)
Copy propagator during cloning.
Gecode toplevel namespace
Base-class for propagators.
struct Gecode::@602::NNF::@65::@67 a
For atomic nodes.
Generic domain change information to be supplied to advisors.
GLBndSet ones
Accumulated one Booleans.
virtual void reschedule(Space &home)
Schedule function.
Home class for posting propagators
Propagator for channelling between variable-value-dual models
virtual Actor * copy(Space &home)
Copy propagator during cloning.
Propagator for successors/predecessors channelling
ModEventDelta med
A set of modification events (used during propagation)
static ExecStatus post(Home home, View s, ViewArray< Gecode::Int::IntView > &x)
Post propagator that propagates that s contains the , which are sorted in non-descending order.
ViewArray< Gecode::Int::CachedView< Gecode::Int::IntView > > xs
IntViews, reflects which set contains element .
Propagator for channelling between set variable and its characteristic function
virtual void reschedule(Space &home)
Schedule function.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
bool running
Flag whether propagation is currently running.
ChannelBool(Space &home, ChannelBool &p)
Constructor for cloning p.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function (defined as PC_QUADRATIC_LO)
int index(void) const
Access index.
virtual size_t dispose(Space &home)
Delete propagator and return its size.
Finite set delta information for advisors.
ChannelInt(Space &home, ChannelInt &p)
Constructor for cloning p.
virtual ExecStatus advise(Space &home, Advisor &a, const Delta &d)
Give advice to propagator.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
virtual Actor * copy(Space &home)
Copy propagator during cloning.
Integer view for integer variables.
static ExecStatus post(Home home, ViewArray< CachedView< View > > &x, ViewArray< CachedView< View > > &y)
Post propagator for .
virtual size_t dispose(Space &home)
Delete Propagator.
ChannelSorted(Space &home, ChannelSorted &p)
Constructor for cloning p.
Growing sets of integers.
static ExecStatus post(Home home, ViewArray< Gecode::Int::BoolView > &x, View y)
Post propagator for .
MixNaryOnePropagator< Gecode::Int::BoolView, Gecode::Int::PC_BOOL_VAL, View, PC_GEN_NONE > Super
ViewArray< Gecode::Int::IntView > xs
IntViews that together form the set x0.
Gecode::FloatVal c(-8, 8)
const PropCond PC_GEN_NONE
Propagation condition to be ignored (convenience)
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
int ModEventDelta
Modification event deltas.
int p
Number of positive literals for node type.
virtual void reschedule(Space &home)
Schedule function.
SetDelta delta
Accumulated delta information.