SimulatorStopReason

public enum SimulatorStopReason

Enum Constants

Choice

public static final SimulatorStopReason Choice

ChoiceTerminated

public static final SimulatorStopReason ChoiceTerminated

Deadlock

public static final SimulatorStopReason Deadlock

Error

public static final SimulatorStopReason Error

InternalError

public static final SimulatorStopReason InternalError

Step

public static final SimulatorStopReason Step

Methods

fromInteger

public static SimulatorStopReason fromInteger(int value)

toInteger

public static int toInteger(SimulatorStopReason value)