Hierarchical Index of ‘wip-hunspell’ Branch

prosa:
- prosa.analysis:
  - prosa.analysis.abstract:
  - prosa.analysis.definitions:
  - prosa.analysis.facts:
    - prosa.analysis.facts.edf_definitions
    - prosa.analysis.facts.hyperperiod
    - prosa.analysis.facts.job_index
    - prosa.analysis.facts.shifted_job_costs
    - prosa.analysis.facts.tdma
    - prosa.analysis.facts.behavior:
    - prosa.analysis.facts.busy_interval:
    - prosa.analysis.facts.model:
    - prosa.analysis.facts.periodic:
    - 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.priority:
    - prosa.analysis.facts.readiness:
    - prosa.analysis.facts.sporadic:
    - prosa.analysis.facts.transform:
  - prosa.analysis.transform:
- prosa.behavior:
- prosa.implementation:
  - prosa.implementation.definitions:
  - prosa.implementation.facts:
    - prosa.implementation.facts.extrapolated_arrival_curve
    - prosa.implementation.facts.generic_schedule
    - prosa.implementation.facts.job_constructor
    - prosa.implementation.facts.maximal_arrival_sequence
    - prosa.implementation.facts.ideal_uni:
      - prosa.implementation.facts.ideal_uni.preemption_aware
      - prosa.implementation.facts.ideal_uni.prio_aware
  - prosa.implementation.refinements:
- 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.offset
    - 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.fifo:
    - prosa.results.fifo.rta
  - prosa.results.fixed_priority:
    - prosa.results.fixed_priority.rta:
  - prosa.results.gel:
    - prosa.results.gel.rta:
      - prosa.results.gel.rta.bounded_pi
- prosa.util: