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