Monitor.WildCardEvent class

The wild card event.

public sealed class WildCardEvent : Event

Public Members

name	description
WildCardEvent()	Initializes a new instance of the WildCardEvent class.

See Also

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