public class PauseManager
extends java.lang.Object
Constructor and Description |
---|
PauseManager() |
Modifier and Type | Method and Description |
---|---|
void |
orderSimulationSteps(int n) |
void |
orderSimulationTime(double simulationTime,
PauseManagerListener pauseManagerListener) |
void |
pause() |
void |
pauseOrRestart()
Break or resume this Thread.
|
void |
resume() |
void |
setSamplingTime(double samplingTime) |
public void pauseOrRestart()
public void pause()
public void resume()
public void orderSimulationSteps(int n)
public void orderSimulationTime(double simulationTime, PauseManagerListener pauseManagerListener)
public void setSamplingTime(double samplingTime)