StatechartAnimationEmitter

constructor(agentName: String, model: Model)(source)

Parameters

agentName

the name of the agent whose statechart this observes

model

the run-wide model, for its animation sink