Generated on Thu Mar 22 10:39:53 2012 for Gecode by doxygen 1.6.3

Gecode::ArchivedRandomGenerator Class Reference
[Generic view selection for brancher based on view and value selection]

Random generator with archiving (to be used in branchers). More...

#include <brancher-view.hpp>

List of all members.

Public Member Functions

 ArchivedRandomGenerator (void)
 Default constructor.
 ArchivedRandomGenerator (unsigned int seed)
 ArchivedRandomGenerator (const Support::RandomGenerator &r)
 Copy constructor.
void archive (Archive &e) const

Detailed Description

Random generator with archiving (to be used in branchers).

Definition at line 174 of file brancher-view.hpp.

Constructor & Destructor Documentation

Gecode::ArchivedRandomGenerator::ArchivedRandomGenerator ( void   )  [inline]

Default constructor.

Definition at line 398 of file brancher-view.hpp.

Gecode::ArchivedRandomGenerator::ArchivedRandomGenerator ( unsigned int  seed  )  [inline]


Definition at line 400 of file brancher-view.hpp.

Gecode::ArchivedRandomGenerator::ArchivedRandomGenerator ( const Support::RandomGenerator r  )  [inline]

Copy constructor.

Definition at line 404 of file brancher-view.hpp.

Member Function Documentation

void Gecode::ArchivedRandomGenerator::archive ( Archive e  )  const [inline]


Definition at line 406 of file brancher-view.hpp.

The documentation for this class was generated from the following file: