Generated on Wed Jan 4 17:49:25 2006 for Gecode by doxygen 1.4.6
Gecode::Set::Sequence

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, ViewArray< SetView > &x)
ExecStatus propagateSeqUnion (Space *home, bool &modified, ViewArray< SetView > &x, SetView &y)
void eliminateFromArrayPreservingOrder (ViewArray< SetView > &x, unsigned int n)

Function Documentation

ExecStatus Gecode::Set::Sequence::propagateSeq (  Space *  home,
bool &  modified,
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 60 of file common.icc.

void Gecode::Set::Sequence::eliminateFromArrayPreservingOrder (  ViewArray< SetView > &  x,
unsigned int  n
)  [inline]
 

Definition at line 83 of file common.icc.