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.
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.
int index(void) const
Access index.
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.
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.
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.
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function (defined as PC_LINEAR_LO)
GLBndSet ones
Accumulated one Booleans.
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function (defined as PC_QUADRATIC_LO)
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.
struct Gecode::@518::NNF::@57::@59 a
For atomic nodes.
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function (defined as PC_QUADRATIC_HI)
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.