Generated on Wed Jan 4 17:49:15 2006 for Gecode by doxygen 1.4.6

gccbndsup.icc File Reference

(Revision: 2696)

Go to the source code of this file.

Namespaces

namespace  Gecode
namespace  Gecode::Int
namespace  Gecode::Int::GCC

Classes

class  Gecode::Int::GCC::Rank
 Maps domain bounds to their position in hall[].bounds. More...
class  Gecode::Int::GCC::MaxInc< View >
 Compares two indeces 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 indeces i, j of two views $ x_i $ $ x_j$ according to the ascending order of the views lower bounds. 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...

Path compression

Each of the nodes on the path from start to end becomes a direct child of to.

void Gecode::Int::GCC::pathset_ps (HallInfo hall[], int start, int end, int to)
 Path compression for potentially stable set structure.
void Gecode::Int::GCC::pathset_s (HallInfo hall[], int start, int end, int to)
 Path compression for stable set structure.
void Gecode::Int::GCC::pathset_t (HallInfo hall[], int start, int end, int to)
 Path compression for capacity pointer structure.
void Gecode::Int::GCC::pathset_h (HallInfo hall[], int start, int end, int to)
 Path compression for hall pointer structure.

Path minimum

returns the smalles reachable index starting from i

int Gecode::Int::GCC::pathmin_h (const HallInfo hall[], int i)
 Path minimum for hall pointer structure.
int Gecode::Int::GCC::pathmin_t (const HallInfo hall[], int i)
 Path minimum for capacity pointer structure.

Path maximum

returns the greatest reachable index starting from i

int Gecode::Int::GCC::pathmax_h (const HallInfo hall[], int i)
 Path maximum for hall pointer structure.
int Gecode::Int::GCC::pathmax_t (const HallInfo hall[], int i)
 Path maximum for capacity pointer structure.
int Gecode::Int::GCC::pathmax_s (const HallInfo hall[], int i)
 Path maximum for stable set pointer structure.
int Gecode::Int::GCC::pathmax_ps (const HallInfo hall[], int i)
 Path maximum for potentially stable set pointer structure.

Functions

template<class Card>
void Gecode::Int::GCC::reduce_card (int cmin, int cmax, Card &k)
 Assert consistency in the cardinality specification for bounds propagation.