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)
	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

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.

---

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:

• gecode/kernel/brancher-view.hpp (Revision: 12001)