Generated on Wed Nov 1 15:05:25 2006 for Gecode by doxygen 1.4.5

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.