Monitor.StateGroup class

Abstract class used for representing a group of related states.

public abstract class StateGroup

Protected Members

name	description
StateGroup()	The default constructor.

See Also

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