Generated on Mon May 5 05:54:14 2008 for Gecode by doxygen 1.5.5

Gecode::Int::Element Namespace Reference


Detailed Description

Element propagators


Classes

class  IdxValLink
 Links for index-value map. More...
class  IterIdx
 Value iterator for indices in index-value map. More...
class  IterVal
 Value iterator for values in index-value map. More...
class  IdxValMap
 Class for index-value map. More...
class  ViewToVarArg
 Class to get VarArg type for view. More...
class  Gecode::Int::Element::ViewToVarArg< IntView >
 VarArg type for integer views. More...
class  Gecode::Int::Element::ViewToVarArg< BoolView >
 VarArg type for Boolean views. More...
class  IdxView
 Class for pair of index and view. More...
class  RelTestBnd
 Class for bounds-equality test. More...
class  Gecode::Int::Element::RelTestBnd< VA, ConstIntView >
 Class for bounds-equality test (specialized). More...
class  RelTestDom
 Class for domain-equality test. More...
class  Gecode::Int::Element::RelTestDom< VA, ConstIntView >
 Class for domain-equality test (specialized). More...
class  IterIdxView
 Value iterator for indices in index-view map. More...
class  Int
 Element propagator for array of integers More...
class  View
 Base-class for element propagator for array of views. More...
class  ViewBnd
 Bounds-consistent element propagator for array of views. More...
class  ViewDom
 Domain-consistent element propagator for array of views. More...

Typedefs

typedef SharedArray< int > IntSharedArray

Functions

template<class VA, class VB, class VC, PropCond pc_ac, class RelTest>
ExecStatus scan (Space *home, IdxView< VA > *iv, int &n, VB x0, VC x1, Propagator *p, RelTest rt)


Typedef Documentation

Definition at line 58 of file element.hh.


Function Documentation

template<class VA, class VB, class VC, PropCond pc_ac, class RelTest>
ExecStatus Gecode::Int::Element::scan ( Space *  home,
IdxView< VA > *  iv,
int &  n,
VB  x0,
VC  x1,
Propagator *  p,
RelTest  rt 
) [inline]

Definition at line 286 of file view.icc.