38#ifndef __GECODE_SET_CHANNEL_HH__
39#define __GECODE_SET_CHANNEL_HH__
150 Gecode::Int::PC_BOOL_VAL,
178 int index(
void)
const;
225 template<
typename View>
Advisor(Space &home, Propagator &p, Council< A > &c)
Constructor for creation.
Generic domain change information to be supplied to advisors.
Home class for posting propagators
Boolean view for Boolean variables.
Integer view for integer variables.
MixNaryOnePropagator(Space &home, MixNaryOnePropagator &p)
ViewArray< Gecode::Int::BoolView > x
ModEventDelta med
A set of modification events (used during propagation)
Propagator(Home home)
Constructor for posting.
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.
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.
MixNaryOnePropagator< Gecode::Int::BoolView, Gecode::Int::PC_BOOL_VAL, View, PC_GEN_NONE > Super
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)
static ExecStatus post(Home home, ViewArray< Gecode::Int::BoolView > &x, View y)
Post propagator for .
ViewArray< Gecode::Int::BoolView > x
Array of views.
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.
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 .
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)