Generated on Thu Jul 6 07:07:08 2006 for Gecode by doxygen 1.4.7

Gecode::Set::Sequence Namespace Reference


Detailed Description

Propagators for ordered sequences of sets.


Classes

class  Seq
 Propagator for the sequence constraint More...
class  SeqU
 Propagator for the sequenced union constraint More...

Functions

ExecStatus propagateSeq (Space *home, bool &modified, bool &assigned, ViewArray< SetView > &x)
ExecStatus propagateSeqUnion (Space *home, bool &modified, ViewArray< SetView > &x, SetView &y)


Function Documentation

ExecStatus Gecode::Set::Sequence::propagateSeq ( Space *  home,
bool &  modified,
bool &  assigned,
ViewArray< SetView > &  x 
) [inline]

Definition at line 31 of file common.icc.

ExecStatus Gecode::Set::Sequence::propagateSeqUnion ( Space *  home,
bool &  modified,
ViewArray< SetView > &  x,
SetView &  y 
) [inline]

Definition at line 64 of file common.icc.