StateMachine.State.DeferEventsAttribute constructor

Initializes a new instance of the DeferEventsAttribute class.

public DeferEventsAttribute(params Type[] eventTypes)

parameter	description
eventTypes	Event types.

See Also

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