Generated on Thu Feb 14 2013 20:59:49 for Gecode by doxygen 1.8.3.1
bnd.hpp File Reference

(Revision: 12431)

Go to the source code of this file.

Classes

class  Gecode::Int::Distinct::Rank
 Rank information More...
 
class  Gecode::Int::Distinct::MaxIncIdx< View >
 Sort-order by increasing maximum (by index) More...
 
class  Gecode::Int::Distinct::MinIncIdx< View >
 Sort-order by increasing minimum (by index) More...
 
class  Gecode::Int::Distinct::MinInc< View >
 Sort-order by increasing minimum (direct) More...
 
class  Gecode::Int::Distinct::HallInfo
 Information on Hall intervals. More...
 

Namespaces

namespace  Gecode
 Gecode toplevel namespace
 
namespace  Gecode::Int
 Finite domain integers.
 
namespace  Gecode::Int::Distinct
 Distinct propagators
 

Functions

void Gecode::Int::Distinct::pathset_t (HallInfo hall[], int start, int end, int to)
 
void Gecode::Int::Distinct::pathset_h (HallInfo hall[], int start, int end, int to)
 
int Gecode::Int::Distinct::pathmin_h (const HallInfo hall[], int i)
 
int Gecode::Int::Distinct::pathmin_t (const HallInfo hall[], int i)
 
int Gecode::Int::Distinct::pathmax_h (const HallInfo hall[], int i)
 
int Gecode::Int::Distinct::pathmax_t (const HallInfo hall[], int i)
 
template<class View >
ExecStatus Gecode::Int::Distinct::prop_bnd (Space &home, ViewArray< View > &x, int &min_x, int &max_x)
 Perform bounds consistent distinct propagation. More...
 
template<class View >
ExecStatus Gecode::Int::Distinct::prop_bnd (Space &home, ViewArray< View > &x)
 Perform bounds consistent distinct propagation. More...