bnd.hpp File Reference

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.
template<class View >
ExecStatus	Gecode::Int::Distinct::prop_bnd (Space &home, ViewArray< View > &x)
	Perform bounds consistent distinct propagation.

Classes