StateMachine.State.StartAttribute class
Attribute for declaring the state that a state machine transitions upon creation.
[AttributeUsage(AttributeTargets.Class)]
protected sealed class StartAttribute : Attribute
Public Members
| name | description |
|---|---|
| StartAttribute() | The default constructor. |
See Also
- class State
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors