Generated on Mon Aug 25 11:35:46 2008 for Gecode by doxygen 1.5.6

Support algorithms and datastructures
[Common functionality]


Detailed Description

These are some common datastructures used in the implementation of Gecode. Maybe they can be also useful to others.

In order to use them, one needs to include the appropriate header-file as described in the class and function documentation.


Modules

 Support for shared objects and handles

Classes

class  Gecode::Support::BlockAllocator< T, blocksize >
 Manage memory organized into block lists (allocator). More...
class  Gecode::Support::BlockClient< T, blocksize >
 Client for block allocator of type T. More...
class  Gecode::Support::DynamicArray< T >
 Array with arbitrary number of elements. More...
class  Gecode::Support::DynamicStack< T >
 Stack with arbitrary number of elements. More...
class  Gecode::Support::LinearCongruentialGenerator< m, a, q, r >
 Template for linear congruential generators. More...
class  Gecode::Support::SentinelStack< T >
 A simple stack that uses a sentinel element. More...
class  Gecode::Support::PQueue< T, Less >
 Simple fixed-size priority queue. More...
class  Gecode::Support::StaticStack< T >
 Stack with fixed number of elements. More...

Typedefs

typedef
LinearCongruentialGenerator< 2147483647, 48271, 44488, 3399 > 
Gecode::Support::RandomGenerator
 Default values for linear congruential generator.

Functions

template<class Type, class LessThan>
void Gecode::Support::insertion (Type *x, int n, LessThan &lt)
 Insertion sort.
template<class Type, class LessThan>
void Gecode::Support::quicksort (Type *x, int n, LessThan &lt)
 Quicksort.


Typedef Documentation

typedef LinearCongruentialGenerator<2147483647, 48271, 44488, 3399> Gecode::Support::RandomGenerator

Default values for linear congruential generator.

While this pseudo-random number generator is not a good source of randomness, it is still an acceptable choice for many applications. The choice of values is taken from D. E. Knuth, The Art of Computer Programming, Vol 2, Seminumerical Algorithms, 3rd edition.

Definition at line 117 of file random.icc.


Function Documentation

template<class Type, class LessThan>
void Gecode::Support::insertion ( Type *  x,
int  n,
LessThan &  lt 
) [inline]

Insertion sort.

Sorts by insertion the n first elements of array x according to the order lt as instance of class LessThan. The class LessThan must implement the single member function

 bool operator()(const Type&, const Type&) 
for comparing elements.

The algorithm is largely based on the following book: Robert Sedgewick, Algorithms in C++, 3rd edition, 1998, Addison Wesley.

Definition at line 178 of file sort.icc.

template<class Type, class LessThan>
void Gecode::Support::quicksort ( Type *  x,
int  n,
LessThan &  lt 
) [inline]

Quicksort.

Sorts with quicksort the n first elements of array x according to the order lt as instance of class LessThan. The class LessThan must implement the single member function

 bool operator()(const Type&, const Type&) 
for comparing elements.

The algorithm is largely based on the following book: Robert Sedgewick, Algorithms in C++, 3rd edition, 1998, Addison Wesley.

Definition at line 200 of file sort.icc.