Simulation.Aivika.Trans.Agent
data Agent m
data AgentState m
newAgent
newState
newSubstate
selectedState
selectedStateChanged
selectedStateChanged_
selectState
stateAgent
stateParent
addTimeout
addTimer
setStateActivation
setStateDeactivation
setStateTransition