nvalues.hh File Reference
(Revision: 12394)
#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... |