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