Actor.SendEvent method

Sends an asynchronous Event to a target.

protected void SendEvent(ActorId id, Event e, EventGroup eventGroup = null, 
    SendOptions options = null)

parameter	description
id	The id of the target.
e	The event to send.
eventGroup	An optional event group associated with this Actor.
options	Optional configuration of a send operation.

See Also

• class ActorId
• class Event
• class EventGroup
• class SendOptions
• class Actor
• namespace Microsoft.Coyote.Actors
• assembly Microsoft.Coyote.Actors