Generated on Sat Feb 7 2015 02:01:34 for Gecode by doxygen 1.8.9.1
nvalues.hh File Reference

(Revision: 12394)

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

 Gecode::Int::NValues
 Number of values propagators.
 
 Gecode
 Gecode toplevel 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...