State

constructor(theStateNumber: Int = stateCounter + 1, name: String = "State:", useStatistic: Boolean = false)

name

The name of the state

theStateNumber

a number assigned to the state for labeling purposes

useStatistic

True means collect sojourn time statistics