History and deep history implementation require a StateInfo variable for each state with a history connector or deep history connector.
The state configuration is stored in this StateInfo variable, such that when a transition occurs into the history/deep history, this configuration is assigned to the nextState variable, causing an entrance to the stored state configuration.
The operators
history_clear
anddeep_clear
assign the corresponding default state configuration to the corresponding StateInfo variable.