public class Simulator
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected int |
configurationNumber |
protected java.util.Random |
random |
protected StateBuilder |
stateBuilder |
protected NAryTree |
tree |
Constructor and Description |
---|
Simulator(NAryTree tree,
int configurationNumber,
java.util.Random random) |
Modifier and Type | Method and Description |
---|---|
java.lang.String[] |
getRandomTrace(java.lang.String[] activities) |
java.lang.String[] |
getRandomTrace(java.lang.String[] activities,
double noiseLevel) |
protected final NAryTree tree
protected final StateBuilder stateBuilder
protected final int configurationNumber
protected final java.util.Random random
public Simulator(NAryTree tree, int configurationNumber, java.util.Random random)