Generated on Sat Feb 7 2015 02:01:34 for Gecode by doxygen 1.8.9.1
element.hh File Reference

(Revision: 14362)

Go to the source code of this file.

Classes

class  Gecode::Int::Element::Int< V0, V1, Idx, Val >
 Element propagator for array of integers More...
 
class  Gecode::Int::Element::Int< V0, V1, Idx, Val >::IdxVal
 Linked index-value pairs. More...
 
class  Gecode::Int::Element::Int< V0, V1, Idx, Val >::IterIdxUnmark
 Value iterator for indices in index-value map. More...
 
class  Gecode::Int::Element::Int< V0, V1, Idx, Val >::IterVal
 Value iterator for values in index-value map. More...
 
class  Gecode::Int::Element::Int< V0, V1, Idx, Val >::IterValUnmark
 Value iterator for values in index-value map. More...
 
class  Gecode::Int::Element::Int< V0, V1, Idx, Val >::ByVal
 Sorting pointers to (index,value) pairs in value order. More...
 
class  Gecode::Int::Element::View< VA, VB, VC, pc_ac >
 Base-class for element propagator for array of views. More...
 
class  Gecode::Int::Element::ViewBnd< VA, VB, VC >
 Bounds consistent element propagator for array of views. More...
 
class  Gecode::Int::Element::ViewDom< VA, VB, VC >
 Domain consistent element propagator for array of views. More...
 
class  Gecode::Int::Element::Pair
 Domain consistent pair propagator. More...
 

Namespaces

 Gecode::Int::Element
 Element propagators
 
 Gecode
 Gecode toplevel 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. More...