Monitor constructor

Initializes a new instance of the Monitor class.

protected Monitor()

See Also

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