public class RandomSeed extends Random
Note that server code is not intended to create instances of RandomSeed directly. Instead, please request seeds through RandomSeedRepo.getRandomSeed(). This way, your code will work the same whether using new seeds or replaying a previous simulation.
State log entry format:
requesterClass::requesterId::purpose::value
| Constructor and Description |
|---|
RandomSeed(String classname,
long requesterId,
String purpose)
Constructor that creates a new seed with a random value.
|
RandomSeed(String classname,
long requesterId,
String purpose,
long value)
Constructor to re-create a random seed with a given value.
|
| Modifier and Type | Method and Description |
|---|---|
long |
getId() |
String |
getPurpose() |
String |
getRequesterClass() |
long |
getRequesterId() |
long |
getValue() |
Copyright © 2016 Power TAC. All Rights Reserved.