public void CancelTask(Fast.TimeSliced.TimeSlicedTask task) { Contract.IsNotNull(task); time_sliced_controller.CancelTask(task); }
public void PushTask(Fast.TimeSliced.TimeSlicedTask task, int priority) { Contract.IsNotNull(task); time_sliced_controller.PushTask(task, priority); }