IActorRuntimeLog.OnStateTransition method

Invoked when the specified state machine enters or exits a state.

public void OnStateTransition(ActorId id, string stateName, bool isEntry)

parameter	description
id	The id of the actor entering or exiting the state.
stateName	The name of the state being entered or exited.
isEntry	If true, this is called for a state entry; otherwise, exit.

See Also

• class ActorId
• interface IActorRuntimeLog
• namespace Microsoft.Coyote.Actors
• assembly Microsoft.Coyote.Actors