public abstract class MultipleSuccessorSimulation extends Object
| Constructor and Description |
|---|
MultipleSuccessorSimulation(MultipleSuccessorsUpdater updater) |
MultipleSuccessorSimulation(MultipleSuccessorsUpdater updater,
SimulationStrategy strategy) |
| Modifier and Type | Method and Description |
|---|---|
abstract void |
addState(byte[] state)
Add a state to the result of this simulation.
|
abstract void |
addTransition(byte[] from,
byte[] to)
Add a transition
|
protected void |
enqueue(byte[] state) |
void |
runSimulation() |
void |
runSimulation(Iterator<byte[]> initialStates) |
public MultipleSuccessorSimulation(MultipleSuccessorsUpdater updater)
public MultipleSuccessorSimulation(MultipleSuccessorsUpdater updater, SimulationStrategy strategy)
public void runSimulation(Iterator<byte[]> initialStates)
public void runSimulation()
protected void enqueue(byte[] state)
public abstract void addState(byte[] state)
state - the added statepublic abstract void addTransition(byte[] from,
byte[] to)
from - source stateto - target stateCopyright © 2012–2020. All rights reserved.