Generated on Wed Nov 1 15:05:17 2006 for Gecode by doxygen 1.4.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  IdxView
 Class for pair of index and view. More...
class  RelTestBnd
 Class for bounds-equality test. More...
class  RelTestDom
 Class for domain-equality test. 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 Support::SharedArray<
int > 
IntSharedArray

Functions

template<class ViewA, class ViewB, PropCond pcb, class RelTest>
void scan (Space *home, IdxView< ViewB > *iv, int &n, ViewA x0, ViewB x1, Propagator *p, RelTest rt)


Typedef Documentation

typedef Support::SharedArray<int> Gecode::Int::Element::IntSharedArray
 

Definition at line 47 of file element.hh.


Function Documentation

template<class ViewA, class ViewB, PropCond pcb, class RelTest>
void Gecode::Int::Element::scan Space *  home,
IdxView< ViewB > *  iv,
int &  n,
ViewA  x0,
ViewB  x1,
Propagator *  p,
RelTest  rt
 

Definition at line 211 of file view.icc.