Generated on Wed Jan 4 17:49:15 2006 for Gecode by doxygen 1.4.6

rel.hh File Reference

(Revision: 2420)

#include "int.hh"
#include "int/rel/eq.icc"
#include "int/rel/nq.icc"
#include "int/rel/lq-le.icc"
#include "int/rel/lex.icc"
#include "iter.hh"

Go to the source code of this file.

Namespaces

namespace  Gecode::Int::Rel
namespace  Gecode
namespace  Gecode::Int

Classes

class  Gecode::Int::Rel::EqDom< View >
 Binary domain-consistent equality propagator. More...
class  Gecode::Int::Rel::EqBnd< View >
 Binary bounds-consistent equality propagator. More...
class  Gecode::Int::Rel::NaryEqDom< View >
 n-ary domain-consistent equality propagator More...
class  Gecode::Int::Rel::NaryEqBnd< View >
 n-ary bounds-consistent equality propagator More...
class  Gecode::Int::Rel::ReEqDom< View, CtrlView >
 Reified binary domain-consistent equality propagator. More...
class  Gecode::Int::Rel::ReEqBnd< View, CtrlView >
 Reified binary bounds-consistent equality propagator. More...
class  Gecode::Int::Rel::ReEqDomInt< View, CtrlView >
 Reified domain-consistent equality with integer propagator. More...
class  Gecode::Int::Rel::ReEqBndInt< View, CtrlView >
 Reified bounds-consistent equality with integer propagator. More...
class  Gecode::Int::Rel::Nq< View >
 Binary disequality propagator. More...
class  Gecode::Int::Rel::Lq< View >
 Less or equal propagator. More...
class  Gecode::Int::Rel::Le< View >
 Less propagator. More...
class  Gecode::Int::Rel::ReLq< View, CtrlView >
 Reified less or equal propagator. More...
class  Gecode::Int::Rel::ReLqInt< View, CtrlView >
 Reified less or equal with integer propagator. More...
class  Gecode::Int::Rel::Lex< View >
 Lexical ordering propagator. More...