Hierarchical Index of ‘impl-uni-sched’ Branch

prosa:
- prosa.analysis:
  - prosa.analysis.abstract:
  - prosa.analysis.definitions:
  - prosa.analysis.facts:
    - prosa.analysis.facts.edf
    - prosa.analysis.facts.tdma
    - prosa.analysis.facts.behavior:
    - prosa.analysis.facts.busy_interval:
    - prosa.analysis.facts.model:
    - prosa.analysis.facts.preemption:
      - prosa.analysis.facts.preemption.job:
        
        prosa.analysis.facts.preemption.job.limited
        
        prosa.analysis.facts.preemption.job.nonpreemptive
        
        prosa.analysis.facts.preemption.job.preemptive
      - prosa.analysis.facts.preemption.rtc_threshold:
        
        prosa.analysis.facts.preemption.rtc_threshold.floating
        
        prosa.analysis.facts.preemption.rtc_threshold.job_preemptable
        
        prosa.analysis.facts.preemption.rtc_threshold.limited
        
        prosa.analysis.facts.preemption.rtc_threshold.nonpreemptive
        
        prosa.analysis.facts.preemption.rtc_threshold.preemptive
      - prosa.analysis.facts.preemption.task:
        
        prosa.analysis.facts.preemption.task.floating
        
        prosa.analysis.facts.preemption.task.limited
        
        prosa.analysis.facts.preemption.task.nonpreemptive
        
        prosa.analysis.facts.preemption.task.preemptive
    - prosa.analysis.facts.readiness:
      - prosa.analysis.facts.readiness.backlogged
      - prosa.analysis.facts.readiness.basic
    - prosa.analysis.facts.transform:
  - prosa.analysis.transform:
- prosa.behavior:
- prosa.implementation:
  - prosa.implementation.definitions:
    - prosa.implementation.definitions.generic_scheduler
    - prosa.implementation.definitions.ideal_uni_scheduler
  - prosa.implementation.facts:
    - prosa.implementation.facts.generic_schedule
    - prosa.implementation.facts.ideal_uni:
      - prosa.implementation.facts.ideal_uni.preemption_aware
      - prosa.implementation.facts.ideal_uni.prio_aware
- prosa.model:
  - prosa.model.aggregate:
    - prosa.model.aggregate.service_of_jobs
    - prosa.model.aggregate.workload
  - prosa.model.preemption:
  - prosa.model.priority:
  - prosa.model.processor:
  - prosa.model.readiness:
  - prosa.model.schedule:
  - prosa.model.task:
    - prosa.model.task.absolute_deadline
    - prosa.model.task.arrivals
    - prosa.model.task.concept
    - prosa.model.task.sequentiality
    - prosa.model.task.arrival:
    - prosa.model.task.preemption:
    - prosa.model.task.suspension:
      - prosa.model.task.suspension.dynamic
- prosa.results:
  - prosa.results.edf:
    - prosa.results.edf.optimality
    - prosa.results.edf.rta:
  - prosa.results.fixed_priority:
    - prosa.results.fixed_priority.rta:
- prosa.util: