Generated on Sat Aug 25 2012 15:53:05 for Gecode by doxygen 1.7.5
rel.hh File Reference

(Revision: 12151)

Go to the source code of this file.

Classes

class  Gecode::Int::Rel::EqDom
 Binary domain consistent equality propagator. More...
class  Gecode::Int::Rel::EqBnd
 Binary bounds consistent equality propagator. More...
class  Gecode::Int::Rel::NaryEqDom
 n-ary domain consistent equality propagator More...
class  Gecode::Int::Rel::NaryEqBnd
 n-ary bounds consistent equality propagator More...
class  Gecode::Int::Rel::NaryLqLe
 n-ary less and less or equal propagator More...
class  Gecode::Int::Rel::NaryLqLe::Index
 Advisors for views (by position in array) More...
class  Gecode::Int::Rel::NaryLqLe::Pos
 Positions in view array that have to be propagated. More...
class  Gecode::Int::Rel::NaryNq
 Nary disequality propagator. More...
class  Gecode::Int::Rel::ReEqDom
 Reified binary domain consistent equality propagator. More...
class  Gecode::Int::Rel::ReEqBnd
 Reified binary bounds consistent equality propagator. More...
class  Gecode::Int::Rel::ReEqDomInt
 Reified domain consistent equality with integer propagator. More...
class  Gecode::Int::Rel::ReEqBndInt
 Reified bounds consistent equality with integer propagator. More...
class  Gecode::Int::Rel::Nq
 Binary disequality propagator. More...
class  Gecode::Int::Rel::Lq
 Less or equal propagator. More...
class  Gecode::Int::Rel::Le
 Less propagator. More...
class  Gecode::Int::Rel::ReLq
 Reified less or equal propagator. More...
class  Gecode::Int::Rel::ReLqInt
 Reified less or equal with integer propagator. More...
class  Gecode::Int::Rel::LexLqLe
 Lexical ordering propagator. More...
class  Gecode::Int::Rel::LexNq
 Lexical disequality propagator. More...

Namespaces

namespace  Gecode::Int::Rel
 

Simple relation propagators.


namespace  Gecode
 

Gecode toplevel namespace


namespace  Gecode::Int
 

Finite domain integers.