44 #ifndef __GECODE_SET_SEQUENCE_HH__
45 #define __GECODE_SET_SEQUENCE_HH__
49 namespace Gecode {
namespace Set {
namespace Sequence {
static ExecStatus post(Home home, ViewArray< SetView >)
Post propagator .
ViewArray< SetView > x
Array of views.
SeqU(Space &home, bool share, SeqU &p)
Constructor for cloning p.
virtual Actor * copy(Space &home, bool)
Copy propagator during cloning.
static ExecStatus post(Home home, ViewArray< SetView >, SetView)
Post propagator and .
Base-class for both propagators and branchers.
int p
Number of positive literals for node type.
virtual Actor * copy(Space &home, bool)
Copy propagator during cloning.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
ModEventDelta med
A set of modification events (used during propagation)
Seq(Space &home, bool share, Seq &p)
Constructor for cloning p.
ExecStatus propagateSeqUnion(Space &home, bool &modified, ViewArray< SetView > &x, SetView &y)
Propagator for the sequence constraint
Set view for set variables
Growing sets of integers.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
Gecode toplevel namespace
int ModEventDelta
Modification event deltas.
Propagator for the sequenced union constraint
Home class for posting propagators
#define GECODE_SET_EXPORT