Generated on Fri May 4 2012 13:51:45 for Gecode by doxygen 1.7.6.1
Gecode::ArchivedRandomGenerator Class Reference

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)
 Constructor.
 ArchivedRandomGenerator (const Support::RandomGenerator &r)
 Copy constructor.
void archive (Archive &e) const
 Archive.

Detailed Description

Random generator with archiving (to be used in branchers)

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


Constructor & Destructor Documentation

Default constructor.

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

Constructor.

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

Copy constructor.

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


Member Function Documentation

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

Archive.

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


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