Monitor.State.ColdAttribute constructor

The default constructor.

public ColdAttribute()

See Also

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