Monitor.State.HotAttribute constructor

The default constructor.

public HotAttribute()

See Also

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