Aufgabe 5: Zeitscheiben
guarded_scheduler.h File Reference
GuardedScheduler, a guarded interface for Scheduler More...
Include dependency graph for guarded_scheduler.h:
Classes | |
class | GuardedScheduler |
Guarded interface to the Scheduler used by user applications. More... | |
Detailed Description
GuardedScheduler, a guarded interface for Scheduler