bnd.hpp File Reference

(Revision: 13143)

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
	Gecode
	Gecode toplevel namespace
	Gecode::Int
	Finite domain integers.
	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...