Generated on Thu Apr 11 13:59:27 2019 for Gecode by doxygen 1.6.3

bnd.hpp File Reference

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< IntType >
 Information on Hall intervals. More...

Namespaces

namespace  Gecode
 

Gecode toplevel namespace


namespace  Gecode::Int
 

Finite domain integers.


namespace  Gecode::Int::Distinct
 

Distinct propagators


Functions

template<class IntType >
void Gecode::Int::Distinct::pathset_t (HallInfo< IntType > hall[], IntType start, IntType end, IntType to)
template<class IntType >
void Gecode::Int::Distinct::pathset_h (HallInfo< IntType > hall[], IntType start, IntType end, IntType to)
template<class IntType >
IntType Gecode::Int::Distinct::pathmin_h (const HallInfo< IntType > hall[], IntType i)
template<class IntType >
IntType Gecode::Int::Distinct::pathmin_t (const HallInfo< IntType > hall[], IntType i)
template<class IntType >
IntType Gecode::Int::Distinct::pathmax_h (const HallInfo< IntType > hall[], IntType i)
template<class IntType >
IntType Gecode::Int::Distinct::pathmax_t (const HallInfo< IntType > hall[], IntType i)
template<class View , class IntType >
ExecStatus Gecode::Int::Distinct::prop_bnd (Space &home, ViewArray< View > &x, int *minsorted, int *maxsorted)
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.
template<class View >
ExecStatus Gecode::Int::Distinct::prop_bnd (Space &home, ViewArray< View > &x)
 Perform bounds consistent distinct propagation.