public interface Randomizable
Modifier and Type | Method and Description |
---|---|
void |
randomize()
update the state of the object in a random (safe) manner.
|
void |
randomize(java.util.Random rng)
update the state of the object in a random (safe) manner
|
void randomize() throws InvariantBrokenException
InvariantBrokenException
- if the domino state is not valid after execution (this should not happen)void randomize(java.util.Random rng) throws InvariantBrokenException
rng
- the random number generator used to randomly set the domino values, if this is null then we construct itInvariantBrokenException
- if the domino state is not valid after execution (this should not happen)