Generated on Thu Mar 22 10:39:47 2012 for Gecode by doxygen 1.6.3

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...