StateMachine constructor

Initializes a new instance of the StateMachine class.

protected StateMachine()

See Also

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