nvalues.hh File Reference

#include <gecode/int.hh>
#include <gecode/int/val-set.hh>
#include <gecode/int/nvalues/range-event.hpp>
#include <gecode/int/nvalues/sym-bit-matrix.hpp>
#include <gecode/int/view-val-graph.hh>
#include <gecode/int/nvalues/graph.hpp>
#include <gecode/int/nvalues/int-base.hpp>
#include <gecode/int/nvalues/int-eq.hpp>
#include <gecode/int/nvalues/int-lq.hpp>
#include <gecode/int/nvalues/int-gq.hpp>
#include <gecode/int/nvalues/bool-base.hpp>
#include <gecode/int/nvalues/bool-eq.hpp>
#include <gecode/int/nvalues/bool-lq.hpp>
#include <gecode/int/nvalues/bool-gq.hpp>

Go to the source code of this file.

Classes
class	Gecode::Int::NValues::RangeEvent
	Event for range-based overlap analysis. More...
class	Gecode::Int::NValues::SymBitMatrix
	Symmetric diagonal bit matrix. More...
class	Gecode::Int::NValues::Graph
	View-value graph for propagation of upper bound. More...
class	Gecode::Int::NValues::IntBase< VY >
	Number of values propagator for integer views base class. More...
class	Gecode::Int::NValues::EqInt< VY >
	Equal to number of values propagator for integer views. More...
class	Gecode::Int::NValues::LqInt< VY >
	Less or equal to number of values propagator for integer views. More...
class	Gecode::Int::NValues::GqInt< VY >
	Greater or equal to number of values propagator for integer views. More...
class	Gecode::Int::NValues::BoolBase< VY >
	Number of values propagator for Boolean views base class. More...
class	Gecode::Int::NValues::EqBool< VY >
	Equal to number of values propagator for Boolean views. More...
class	Gecode::Int::NValues::LqBool< VY >
	Less or equal to number of values propagator for Boolean views. More...
class	Gecode::Int::NValues::GqBool< VY >
	Greater or equal to number of values propagator for Boolean views. More...
Namespaces
namespace	Gecode::Int::NValues
	Number of values propagators.
namespace	Gecode
	Gecode toplevel namespace
namespace	Gecode::Int
	Finite domain integers.
Enumerations
enum	Gecode::Int::NValues::RangeEventType { Gecode::Int::NValues::RET_FST = 0, Gecode::Int::NValues::RET_LST = 1, Gecode::Int::NValues::RET_END = 2 }
	Event type for range-based overlap analysis. More...