bool.hh File Reference

(Revision: 12427)

#include <gecode/int.hh>
#include <gecode/int/bool/base.hpp>
#include <gecode/int/bool/eq.hpp>
#include <gecode/int/bool/lq.hpp>
#include <gecode/int/bool/or.hpp>
#include <gecode/int/bool/eqv.hpp>
#include <gecode/int/bool/clause.hpp>

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.