StateMachine.State constructor

Initializes a new instance of the State class.

protected State()

See Also

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