Generated on Sat Feb 7 2015 02:01:35 for Gecode by doxygen 1.8.9.1
Support for GCC bounds propagation

Classes

class  Gecode::Int::GCC::UnReachable
 Class for computing unreachable values in the value GCC propagator. More...
 
class  Gecode::Int::GCC::Rank
 Maps domain bounds to their position in hall[].bounds. More...
 
class  Gecode::Int::GCC::MaxInc< View >
 Compares two indices i, j of two views $ x_i $ $ x_j$ according to the ascending order of the views upper bounds. More...
 
class  Gecode::Int::GCC::MinInc< View >
 Compares two indices i, j of two views $ x_i $ $ x_j$ according to the ascending order of the views lower bounds. More...
 
class  Gecode::Int::GCC::MinIdx< Card >
 Compares two cardinality views $ x_i $ $ x_j$ according to the index. More...
 
class  Gecode::Int::GCC::PartialSum< Card >
 Partial sum structure for constant time computation of the maximal capacity of an interval. More...
 
class  Gecode::Int::GCC::HallInfo
 Container class provding information about the Hall structure of the problem variables. More...
 

Functions

template<class Card >
ExecStatus Gecode::Int::GCC::prop_card (Space &home, ViewArray< IntView > &x, ViewArray< Card > &k)
 Bounds consistency check for cardinality variables. More...
 
template<class Card >
bool Gecode::Int::GCC::card_consistent (ViewArray< IntView > &x, ViewArray< Card > &k)
 Consistency check, whether the cardinality values are feasible. More...
 

Detailed Description

Function Documentation

template<class Card >
ExecStatus Gecode::Int::GCC::prop_card ( Space home,
ViewArray< IntView > &  x,
ViewArray< Card > &  k 
)

Bounds consistency check for cardinality variables.

Definition at line 78 of file bnd-sup.hpp.

template<class Card >
bool Gecode::Int::GCC::card_consistent ( ViewArray< IntView > &  x,
ViewArray< Card > &  k 
)
inline

Consistency check, whether the cardinality values are feasible.

Definition at line 143 of file bnd-sup.hpp.