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
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors