40#ifndef __GECODE_SET_SEQUENCE_HH__
41#define __GECODE_SET_SEQUENCE_HH__
Home class for posting propagators
NaryOnePropagator(Space &home, NaryOnePropagator &p)
NaryPropagator(Space &home, NaryPropagator &p)
ModEventDelta med
A set of modification events (used during propagation)
Growing sets of integers.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
static ExecStatus post(Home home, ViewArray< SetView >, SetView)
Post propagator and .
SeqU(Space &home, SeqU &p)
Constructor for cloning p.
virtual Actor * copy(Space &home)
Copy propagator during cloning.
ExecStatus propagateSeqUnion(Space &home, bool &modified, ViewArray< SetView > &x, SetView &y)
Seq(Space &home, Seq &p)
Constructor for cloning p.
static ExecStatus post(Home home, ViewArray< SetView >)
Post propagator .
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
virtual Actor * copy(Space &home)
Copy propagator during cloning.
Set view for set variables
#define GECODE_SET_EXPORT
int ModEventDelta
Modification event deltas.
Gecode toplevel namespace