
Random generator with archiving (to be used in branchers) More...
#include <brancher-view.hpp>
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. | |
Random generator with archiving (to be used in branchers)
Definition at line 174 of file brancher-view.hpp.
| Gecode::ArchivedRandomGenerator::ArchivedRandomGenerator | ( | void | ) | [inline] |
Default constructor.
Definition at line 398 of file brancher-view.hpp.
| Gecode::ArchivedRandomGenerator::ArchivedRandomGenerator | ( | unsigned int | seed | ) | [inline] |
Constructor.
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.
| void Gecode::ArchivedRandomGenerator::archive | ( | Archive & | e | ) | const [inline] |
Definition at line 406 of file brancher-view.hpp.