WildCardEvent constructor

Initializes a new instance of the WildCardEvent class.

public WildCardEvent()

See Also

• class WildCardEvent
• namespace Microsoft.Coyote.Actors
• assembly Microsoft.Coyote.Actors