Monitor.StateGroup constructor

The default constructor.

protected StateGroup()

See Also

• class StateGroup
• namespace Microsoft.Coyote.Specifications
• assembly Microsoft.Coyote