Monitor.State.StartAttribute constructor

The default constructor.

public StartAttribute()

See Also

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