Allow seeding of RandomEvaluator.

This is useful for reproducibility in playback tests.
This commit is contained in:
Oliver Woodman 2015-06-26 14:24:00 +01:00
parent 194b4ae081
commit 98d446aa6d

View File

@ -115,6 +115,13 @@ public interface FormatEvaluator {
this.random = new Random();
}
/**
* @param seed A seed for the underlying random number generator.
*/
public RandomEvaluator(int seed) {
this.random = new Random(seed);
}
@Override
public void enable() {
// Do nothing.