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>
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
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.
ViewArray< Gecode::Int::CachedView< Gecode::Int::IntView > > xs
IntViews, reflects which set contains element .
GLBndSet zeros
Accumulated zero Booleans.
virtual Actor * copy(Space &home)
Copy propagator during cloning.
Base-class for both propagators and branchers.
View x0
SetView for the match.
Gecode::FloatVal c(-8, 8)
int p
Number of positive literals for node type.
virtual void reschedule(Space &home)
Schedule function.
ModEventDelta med
A set of modification events (used during propagation)
Advisor storing a single index
virtual ExecStatus advise(Space &home, Advisor &a, const Delta &d)
Advise function.
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...
Propagator for the sorted channel constraint
Integer view for integer variables.
Post propagator for SetVar SetOpType SetVar y
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 size_t dispose(Space &home)
Delete Propagator.
ChannelSorted(Space &home, ChannelSorted &p)
Constructor for cloning p.
Growing sets of integers.
Post propagator for SetVar x
GLBndSet ones
Accumulated one Booleans.
Propagator for channelling between set variable and its characteristic function
Gecode toplevel namespace
SetDelta delta
Accumulated delta information.
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.
Home class for posting propagators
struct Gecode::@593::NNF::@62::@64 a
For atomic nodes.
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.