Generated on Tue Sep 25 2012 20:53:19 for Gecode by doxygen 1.7.5
element.hh File Reference

(Revision: 10846)

Go to the source code of this file.

Classes

class  Gecode::Int::Element::Int
 Element propagator for array of integers More...
class  Gecode::Int::Element::Int::IdxVal
 Linked index-value pairs. More...
class  Gecode::Int::Element::Int::IterIdxUnmark
 Value iterator for indices in index-value map. More...
class  Gecode::Int::Element::Int::IterVal
 Value iterator for values in index-value map. More...
class  Gecode::Int::Element::Int::IterValUnmark
 Value iterator for values in index-value map. More...
class  Gecode::Int::Element::Int::ByVal
 Sorting pointers to (index,value) pairs in value order. More...
class  Gecode::Int::Element::ViewToVarArg
 Class to get VarArg type for view. More...
class  Gecode::Int::Element::IdxViewArray
 An array of IndexView pairs. More...
class  Gecode::Int::Element::View
 Base-class for element propagator for array of views. More...
class  Gecode::Int::Element::ViewBnd
 Bounds consistent element propagator for array of views. More...
class  Gecode::Int::Element::ViewDom
 Domain consistent element propagator for array of views. More...
class  Gecode::Int::Element::Pair
 Domain consistent pair propagator. More...

Namespaces

namespace  Gecode::Int::Element
 

Element propagators


namespace  Gecode
 

Gecode toplevel namespace


namespace  Gecode::Int
 

Finite domain integers.


Functions

template<class V0 , class V1 >
ExecStatus Gecode::Int::Element::post_int (Home home, IntSharedArray &c, V0 x0, V1 x1)
 Post propagator with apropriate index and value types.