public class TransitionManager
extends java.lang.Object
Constructor and Description |
---|
TransitionManager(SEEAbstractFederate federate,
int MAX_WAIT_TIME) |
Modifier and Type | Method and Description |
---|---|
void |
freeze() |
void |
resume() |
void |
setExecutionTask(ExecutionTask executionTask) |
void |
shutdown() |
void |
start() |
public TransitionManager(SEEAbstractFederate federate, int MAX_WAIT_TIME)
public void setExecutionTask(ExecutionTask executionTask)
public void start()
public void freeze()
public void resume()
public void shutdown()
Author: SMASH LAB - University of Calabria (UNICAL)