Generated on Thu Apr 11 14:00:04 2019 for Gecode by doxygen 1.6.3

Gecode::Int::Rel Namespace Reference

Simple relation propagators. More...

Classes

class  EqDom
 Binary domain consistent equality propagator. More...
class  EqVal
 Binary value propagation equality propagator. More...
class  EqBnd
 Binary bounds consistent equality propagator. More...
class  NaryEqDom
 n-ary domain consistent equality propagator More...
class  NaryEqBnd
 n-ary bounds consistent equality propagator More...
class  NaryLqLe
 n-ary less and less or equal propagator More...
class  NaryNq
 Nary disequality propagator. More...
class  ReEqDom
 Reified binary domain consistent equality propagator. More...
class  ReEqBnd
 Reified binary bounds consistent equality propagator. More...
class  ReEqDomInt
 Reified domain consistent equality with integer propagator. More...
class  ReEqBndInt
 Reified bounds consistent equality with integer propagator. More...
class  Nq
 Binary disequality propagator. More...
class  Lq
 Less or equal propagator. More...
class  Le
 Less propagator. More...
class  ReLq
 Reified less or equal propagator. More...
class  ReLqInt
 Reified less or equal with integer propagator. More...
class  LexLqLe
 Lexical ordering propagator. More...
class  LexNq
 Lexical disequality propagator. More...

Detailed Description

Simple relation propagators.