public interface RandomUpdater extends LogicalModelUpdater
| Modifier and Type | Method and Description |
|---|---|
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)
|
getModelbyte[] pickSuccessor(byte[] state)
state - the current statevoid setSeed(long seed)
seed - the initial seedCopyright © 2012–2020. All rights reserved.