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

(Revision: 12427)

Go to the source code of this file.

Classes

class  Gecode::Int::Bool::BoolBinary
 Base-class for binary Boolean propagators. More...
class  Gecode::Int::Bool::BoolTernary
 Base-class for ternary Boolean propagators. More...
class  Gecode::Int::Bool::Eq
 Boolean equality propagator. More...
class  Gecode::Int::Bool::NaryEq
 n-ary Boolean equality propagator More...
class  Gecode::Int::Bool::Lq
 Boolean less or equal propagator. More...
class  Gecode::Int::Bool::NaryLq
 Nary Boolean less or equal propagator. More...
class  Gecode::Int::Bool::Le
 Boolean less propagator. More...
class  Gecode::Int::Bool::BinOrTrue
 Binary Boolean disjunction propagator (true) More...
class  Gecode::Int::Bool::TerOrTrue
 Ternary Boolean disjunction propagator (true) More...
class  Gecode::Int::Bool::QuadOrTrue
 Quarternary Boolean disjunction propagator (true) More...
class  Gecode::Int::Bool::Or
 Boolean disjunction propagator. More...
class  Gecode::Int::Bool::NaryOr
 Boolean n-ary disjunction propagator. More...
class  Gecode::Int::Bool::NaryOrTrue
 Boolean n-ary disjunction propagator (true) More...
class  Gecode::Int::Bool::Eqv
 Boolean equivalence propagator. More...
class  Gecode::Int::Bool::NaryEqv
 Boolean n-ary equivalence propagator. More...
class  Gecode::Int::Bool::Clause
 Boolean clause propagator (disjunctive) More...
class  Gecode::Int::Bool::Clause::Tagged
 Advisors for views (tagged whether for x or y) More...
class  Gecode::Int::Bool::ClauseTrue
 Boolean clause propagator (disjunctive, true) More...

Namespaces

namespace  Gecode::Int::Bool
 

Boolean propagators.


namespace  Gecode
 

Gecode toplevel namespace


namespace  Gecode::Int
 

Finite domain integers.