ICoyoteRuntime.Monitor<T> method

Invokes the specified monitor with the specified Event.

public void Monitor<T>(Event e)
    where T : Monitor

parameter	description
T	Type of the monitor.
e	Event to send to the monitor.

See Also

• class Event
• class Monitor
• interface ICoyoteRuntime
• namespace Microsoft.Coyote.Runtime
• assembly Microsoft.Coyote