StateMachine.State.StartAttribute constructor

The default constructor.

public StartAttribute()

See Also

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