Examples with ExecuteModelCommand de.prob.animator.command.ExecuteModelCommand used on opensource projects

Example 1 with ExecuteModelCommand

use of de.prob.animator.command.ExecuteModelCommand in project prob2 by bendisposto.

the class ExecuteRun method executeModel.

private void executeModel(final StateSpace stateSpace) {
    Trace t = new Trace(stateSpace);
    this.rootState = t.getCurrentState();
    executeModelCommand = new ExecuteModelCommand(stateSpace, t.getCurrentState(), maxNumberOfStatesToBeExecuted, continueAfterErrors, timeout);
    stateSpace.execute(executeModelCommand);
}