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

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.