public class RandomUpdaterWrapper extends Object implements RandomUpdater
| Constructor and Description |
|---|
RandomUpdaterWrapper(MultipleSuccessorsUpdater updater) |
| Modifier and Type | Method and Description |
|---|---|
LogicalModel |
getModel() |
byte[] |
pickSuccessor(byte[] state)
Get the successor of a state state.
|
void |
setSeed(long seed)
Set the seed for the random generator (for reproducibility in tests, NOT for real use)
|
public RandomUpdaterWrapper(MultipleSuccessorsUpdater updater)
public byte[] pickSuccessor(byte[] state)
RandomUpdaterpickSuccessor in interface RandomUpdaterstate - the current statepublic void setSeed(long seed)
RandomUpdatersetSeed in interface RandomUpdaterseed - the initial seedpublic LogicalModel getModel()
getModel in interface LogicalModelUpdaterCopyright © 2012–2020. All rights reserved.