public void AddActor(Actor actor)
{
Contract.Requires(actor != null);
_newActors.Enqueue(actor);
_event.Set();
}
internal Scheduler RegisterActor(Actor actor)
{
Contract.Requires(actor != null);
Contract.Ensures(Contract.Result<Scheduler>() != null);
var scheduler = PickScheduler();
scheduler.AddActor(actor);
return scheduler;
}
