Generated on Tue Feb 11 2025 17:33:26 for Gecode by doxygen 1.12.0
nvalues.hh File Reference

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