/// <summary>
/// Sends an asynchronous event to a machine.
/// </summary>
/// <param name="mid">Machine id</param>
/// <param name="e">Event</param>
void IDispatcher.Send(MachineId mid, Event e)
{
if (mid.IpAddress.Length > 0)
{
PSharpRuntime.SendRemotely(mid, e);
}
else
{
PSharpRuntime.Send(mid, e);
}
}
