Actor.RaiseHaltEvent method

Raises a HaltEvent to halt the actor at the end of the current action.

protected void RaiseHaltEvent()

See Also

• class Actor
• namespace Microsoft.Coyote.Actors
• assembly Microsoft.Coyote.Actors