Hierarchical Index of ‘model-reorg’ Branch

• rt:
  • rt.classic:
    • rt.classic.analysis:
      • rt.classic.analysis.apa:
        • rt.classic.analysis.apa.bertogna_edf_comp
        • rt.classic.analysis.apa.bertogna_edf_theory
        • rt.classic.analysis.apa.bertogna_fp_comp
        • rt.classic.analysis.apa.bertogna_fp_theory
        • rt.classic.analysis.apa.interference_bound_edf
        • rt.classic.analysis.apa.interference_bound_fp
        • rt.classic.analysis.apa.interference_bound
        • rt.classic.analysis.apa.workload_bound
      • rt.classic.analysis.global:
        • rt.classic.analysis.global.basic:
          • rt.classic.analysis.global.basic.bertogna_edf_comp
          • rt.classic.analysis.global.basic.bertogna_edf_theory
          • rt.classic.analysis.global.basic.bertogna_fp_comp
          • rt.classic.analysis.global.basic.bertogna_fp_theory
          • rt.classic.analysis.global.basic.interference_bound_edf
          • rt.classic.analysis.global.basic.interference_bound_fp
          • rt.classic.analysis.global.basic.interference_bound
          • rt.classic.analysis.global.basic.workload_bound
        • rt.classic.analysis.global.jitter:
          • rt.classic.analysis.global.jitter.bertogna_edf_comp
          • rt.classic.analysis.global.jitter.bertogna_edf_theory
          • rt.classic.analysis.global.jitter.bertogna_fp_comp
          • rt.classic.analysis.global.jitter.bertogna_fp_theory
          • rt.classic.analysis.global.jitter.interference_bound_edf
          • rt.classic.analysis.global.jitter.interference_bound_fp
          • rt.classic.analysis.global.jitter.interference_bound
          • rt.classic.analysis.global.jitter.workload_bound
        • rt.classic.analysis.global.parallel:
          • rt.classic.analysis.global.parallel.bertogna_edf_comp
          • rt.classic.analysis.global.parallel.bertogna_edf_theory
          • rt.classic.analysis.global.parallel.bertogna_fp_comp
          • rt.classic.analysis.global.parallel.bertogna_fp_theory
          • rt.classic.analysis.global.parallel.interference_bound_edf
          • rt.classic.analysis.global.parallel.interference_bound_fp
          • rt.classic.analysis.global.parallel.interference_bound
          • rt.classic.analysis.global.parallel.workload_bound
      • rt.classic.analysis.uni:
        • rt.classic.analysis.uni.arrival_curves:
          • rt.classic.analysis.uni.arrival_curves.workload_bound
        • rt.classic.analysis.uni.basic:
          • rt.classic.analysis.uni.basic.fp_rta_comp
          • rt.classic.analysis.uni.basic.fp_rta_theory
          • rt.classic.analysis.uni.basic.tdma_rta_theory
          • rt.classic.analysis.uni.basic.tdma_wcrt_analysis
          • rt.classic.analysis.uni.basic.workload_bound_fp
        • rt.classic.analysis.uni.jitter:
          • rt.classic.analysis.uni.jitter.fp_rta_comp
          • rt.classic.analysis.uni.jitter.fp_rta_theory
          • rt.classic.analysis.uni.jitter.workload_bound_fp
        • rt.classic.analysis.uni.susp:
          • rt.classic.analysis.uni.susp.dynamic:
            • rt.classic.analysis.uni.susp.dynamic.jitter:
              • rt.classic.analysis.uni.susp.dynamic.jitter.jitter_schedule
              • rt.classic.analysis.uni.susp.dynamic.jitter.jitter_schedule_properties
              • rt.classic.analysis.uni.susp.dynamic.jitter.jitter_schedule_service
              • rt.classic.analysis.uni.susp.dynamic.jitter.jitter_taskset_generation
              • rt.classic.analysis.uni.susp.dynamic.jitter.rta_by_reduction
              • rt.classic.analysis.uni.susp.dynamic.jitter.taskset_membership
              • rt.classic.analysis.uni.susp.dynamic.jitter.taskset_rta
            • rt.classic.analysis.uni.susp.dynamic.oblivious:
              • rt.classic.analysis.uni.susp.dynamic.oblivious.fp_rta
              • rt.classic.analysis.uni.susp.dynamic.oblivious.reduction
          • rt.classic.analysis.uni.susp.sustainability:
            • rt.classic.analysis.uni.susp.sustainability.allcosts:
              • rt.classic.analysis.uni.susp.sustainability.allcosts.main_claim
              • rt.classic.analysis.uni.susp.sustainability.allcosts.reduction
              • rt.classic.analysis.uni.susp.sustainability.allcosts.reduction_properties
            • rt.classic.analysis.uni.susp.sustainability.singlecost:
              • rt.classic.analysis.uni.susp.sustainability.singlecost.reduction
              • rt.classic.analysis.uni.susp.sustainability.singlecost.reduction_properties
    • rt.classic.implementation:
      • rt.classic.implementation.arrival_sequence
      • rt.classic.implementation.job
      • rt.classic.implementation.task
      • rt.classic.implementation.apa:
        • rt.classic.implementation.apa.arrival_sequence
        • rt.classic.implementation.apa.bertogna_edf_example
        • rt.classic.implementation.apa.bertogna_fp_example
        • rt.classic.implementation.apa.job
        • rt.classic.implementation.apa.schedule
        • rt.classic.implementation.apa.task
      • rt.classic.implementation.global:
        • rt.classic.implementation.global.basic:
          • rt.classic.implementation.global.basic.bertogna_edf_example
          • rt.classic.implementation.global.basic.bertogna_fp_example
          • rt.classic.implementation.global.basic.schedule
        • rt.classic.implementation.global.jitter:
          • rt.classic.implementation.global.jitter.arrival_sequence
          • rt.classic.implementation.global.jitter.bertogna_edf_example
          • rt.classic.implementation.global.jitter.bertogna_fp_example
          • rt.classic.implementation.global.jitter.job
          • rt.classic.implementation.global.jitter.schedule
          • rt.classic.implementation.global.jitter.task
        • rt.classic.implementation.global.parallel:
          • rt.classic.implementation.global.parallel.bertogna_edf_example
          • rt.classic.implementation.global.parallel.bertogna_fp_example
      • rt.classic.implementation.uni:
        • rt.classic.implementation.uni.basic:
          • rt.classic.implementation.uni.basic.extraction_tdma
          • rt.classic.implementation.uni.basic.fp_rta_example
          • rt.classic.implementation.uni.basic.schedule
          • rt.classic.implementation.uni.basic.schedule_tdma
          • rt.classic.implementation.uni.basic.tdma_rta_example
        • rt.classic.implementation.uni.jitter:
          • rt.classic.implementation.uni.jitter.arrival_sequence
          • rt.classic.implementation.uni.jitter.fp_rta_example
          • rt.classic.implementation.uni.jitter.job
          • rt.classic.implementation.uni.jitter.schedule
          • rt.classic.implementation.uni.jitter.task
        • rt.classic.implementation.uni.susp:
          • rt.classic.implementation.uni.susp.schedule
          • rt.classic.implementation.uni.susp.dynamic:
            • rt.classic.implementation.uni.susp.dynamic.arrival_sequence
            • rt.classic.implementation.uni.susp.dynamic.job
            • rt.classic.implementation.uni.susp.dynamic.task
            • rt.classic.implementation.uni.susp.dynamic.oblivious:
              • rt.classic.implementation.uni.susp.dynamic.oblivious.fp_rta_example
    • rt.classic.model:
      • rt.classic.model.policy_tdma
      • rt.classic.model.priority
      • rt.classic.model.suspension
      • rt.classic.model.time
      • rt.classic.model.arrival:
        • rt.classic.model.arrival.basic:
          • rt.classic.model.arrival.basic.arrival_bounds
          • rt.classic.model.arrival.basic.arrival_sequence
          • rt.classic.model.arrival.basic.job
          • rt.classic.model.arrival.basic.task_arrival
          • rt.classic.model.arrival.basic.task
        • rt.classic.model.arrival.curves:
          • rt.classic.model.arrival.curves.bounds
        • rt.classic.model.arrival.jitter:
          • rt.classic.model.arrival.jitter.arrival_bounds
          • rt.classic.model.arrival.jitter.arrival_sequence
          • rt.classic.model.arrival.jitter.job
          • rt.classic.model.arrival.jitter.task_arrival
      • rt.classic.model.schedule:
        • rt.classic.model.schedule.apa:
          • rt.classic.model.schedule.apa.affinity
          • rt.classic.model.schedule.apa.constrained_deadlines
          • rt.classic.model.schedule.apa.interference_edf
          • rt.classic.model.schedule.apa.interference
          • rt.classic.model.schedule.apa.platform
        • rt.classic.model.schedule.global:
          • rt.classic.model.schedule.global.response_time
          • rt.classic.model.schedule.global.schedulability
          • rt.classic.model.schedule.global.workload
          • rt.classic.model.schedule.global.basic:
            • rt.classic.model.schedule.global.basic.constrained_deadlines
            • rt.classic.model.schedule.global.basic.interference_edf
            • rt.classic.model.schedule.global.basic.interference
            • rt.classic.model.schedule.global.basic.platform
            • rt.classic.model.schedule.global.basic.schedule
          • rt.classic.model.schedule.global.jitter:
            • rt.classic.model.schedule.global.jitter.constrained_deadlines
            • rt.classic.model.schedule.global.jitter.interference_edf
            • rt.classic.model.schedule.global.jitter.interference
            • rt.classic.model.schedule.global.jitter.job
            • rt.classic.model.schedule.global.jitter.platform
            • rt.classic.model.schedule.global.jitter.schedule
          • rt.classic.model.schedule.global.transformation:
            • rt.classic.model.schedule.global.transformation.construction
        • rt.classic.model.schedule.partitioned:
          • rt.classic.model.schedule.partitioned.schedulability
          • rt.classic.model.schedule.partitioned.schedule
        • rt.classic.model.schedule.uni:
          • rt.classic.model.schedule.uni.end_time
          • rt.classic.model.schedule.uni.response_time
          • rt.classic.model.schedule.uni.schedulability
          • rt.classic.model.schedule.uni.schedule
          • rt.classic.model.schedule.uni.schedule_of_task
          • rt.classic.model.schedule.uni.service
          • rt.classic.model.schedule.uni.sustainability
          • rt.classic.model.schedule.uni.workload
          • rt.classic.model.schedule.uni.basic:
            • rt.classic.model.schedule.uni.basic.platform
            • rt.classic.model.schedule.uni.basic.platform_tdma
          • rt.classic.model.schedule.uni.jitter:
            • rt.classic.model.schedule.uni.jitter.busy_interval
            • rt.classic.model.schedule.uni.jitter.platform
            • rt.classic.model.schedule.uni.jitter.schedule
            • rt.classic.model.schedule.uni.jitter.valid_schedule
          • rt.classic.model.schedule.uni.limited:
            • rt.classic.model.schedule.uni.limited.busy_interval
            • rt.classic.model.schedule.uni.limited.jlfp_instantiation
            • rt.classic.model.schedule.uni.limited.rbf
            • rt.classic.model.schedule.uni.limited.schedule
            • rt.classic.model.schedule.uni.limited.abstract_RTA:
              • rt.classic.model.schedule.uni.limited.abstract_RTA.abstract_rta
              • rt.classic.model.schedule.uni.limited.abstract_RTA.abstract_seq_rta
              • rt.classic.model.schedule.uni.limited.abstract_RTA.definitions
              • rt.classic.model.schedule.uni.limited.abstract_RTA.reduction_of_search_space
              • rt.classic.model.schedule.uni.limited.abstract_RTA.sufficient_condition_for_lock_in_service
            • rt.classic.model.schedule.uni.limited.edf:
              • rt.classic.model.schedule.uni.limited.edf.response_time_bound
              • rt.classic.model.schedule.uni.limited.edf.nonpr_reg:
                • rt.classic.model.schedule.uni.limited.edf.nonpr_reg.response_time_bound
                • rt.classic.model.schedule.uni.limited.edf.nonpr_reg.concrete_models:
                  • rt.classic.model.schedule.uni.limited.edf.nonpr_reg.concrete_models.response_time_bound
            • rt.classic.model.schedule.uni.limited.fixed_priority:
              • rt.classic.model.schedule.uni.limited.fixed_priority.response_time_bound
              • rt.classic.model.schedule.uni.limited.fixed_priority.nonpr_reg:
                • rt.classic.model.schedule.uni.limited.fixed_priority.nonpr_reg.response_time_bound
                • rt.classic.model.schedule.uni.limited.fixed_priority.nonpr_reg.concrete_models:
                  • rt.classic.model.schedule.uni.limited.fixed_priority.nonpr_reg.concrete_models.response_time_bound
            • rt.classic.model.schedule.uni.limited.platform:
              • rt.classic.model.schedule.uni.limited.platform.definitions
              • rt.classic.model.schedule.uni.limited.platform.limited
              • rt.classic.model.schedule.uni.limited.platform.nonpreemptive
              • rt.classic.model.schedule.uni.limited.platform.preemptive
              • rt.classic.model.schedule.uni.limited.platform.priority_inversion_is_bounded
          • rt.classic.model.schedule.uni.nonpreemptive:
            • rt.classic.model.schedule.uni.nonpreemptive.platform
            • rt.classic.model.schedule.uni.nonpreemptive.schedule
          • rt.classic.model.schedule.uni.susp:
            • rt.classic.model.schedule.uni.susp.build_suspension_table
            • rt.classic.model.schedule.uni.susp.last_execution
            • rt.classic.model.schedule.uni.susp.platform
            • rt.classic.model.schedule.uni.susp.schedule
            • rt.classic.model.schedule.uni.susp.suspension_intervals
            • rt.classic.model.schedule.uni.susp.valid_schedule
          • rt.classic.model.schedule.uni.transformation:
            • rt.classic.model.schedule.uni.transformation.construction
    • rt.classic.util:
      • rt.classic.util.all
      • rt.classic.util.bigcat
      • rt.classic.util.bigord
      • rt.classic.util.counting
      • rt.classic.util.div_mod
      • rt.classic.util.find_seq
      • rt.classic.util.fixedpoint
      • rt.classic.util.induction
      • rt.classic.util.list
      • rt.classic.util.minmax
      • rt.classic.util.nat
      • rt.classic.util.notation
      • rt.classic.util.ord_quantifier
      • rt.classic.util.pick
      • rt.classic.util.powerset
      • rt.classic.util.seqset
      • rt.classic.util.sorting
      • rt.classic.util.step_function
      • rt.classic.util.sum
      • rt.classic.util.tactics
  • rt.restructuring:
    • rt.restructuring.analysis:
      • rt.restructuring.analysis.schedulability
      • rt.restructuring.analysis.task_schedule
      • rt.restructuring.analysis.abstract:
        • rt.restructuring.analysis.abstract.core:
          • rt.restructuring.analysis.abstract.core.abstract_rta
          • rt.restructuring.analysis.abstract.core.abstract_seq_rta
          • rt.restructuring.analysis.abstract.core.definitions
          • rt.restructuring.analysis.abstract.core.reduction_of_search_space
          • rt.restructuring.analysis.abstract.core.run_to_completion_threshold
          • rt.restructuring.analysis.abstract.core.sufficient_condition_for_run_to_completion_threshold
        • rt.restructuring.analysis.abstract.instantiations:
          • rt.restructuring.analysis.abstract.instantiations.ideal_processor
      • rt.restructuring.analysis.arrival:
        • rt.restructuring.analysis.arrival.rbf
        • rt.restructuring.analysis.arrival.workload_bound
      • rt.restructuring.analysis.basic_facts:
        • rt.restructuring.analysis.basic_facts.all
        • rt.restructuring.analysis.basic_facts.arrivals
        • rt.restructuring.analysis.basic_facts.completion
        • rt.restructuring.analysis.basic_facts.deadlines
        • rt.restructuring.analysis.basic_facts.ideal_schedule
        • rt.restructuring.analysis.basic_facts.sequential
        • rt.restructuring.analysis.basic_facts.service
        • rt.restructuring.analysis.basic_facts.service_of_jobs
        • rt.restructuring.analysis.basic_facts.task_arrivals
        • rt.restructuring.analysis.basic_facts.workload
        • rt.restructuring.analysis.basic_facts.preemption:
          • rt.restructuring.analysis.basic_facts.preemption.job:
            • rt.restructuring.analysis.basic_facts.preemption.job.limited
            • rt.restructuring.analysis.basic_facts.preemption.job.nonpreemptive
            • rt.restructuring.analysis.basic_facts.preemption.job.preemptive
          • rt.restructuring.analysis.basic_facts.preemption.rtc_threshold:
            • rt.restructuring.analysis.basic_facts.preemption.rtc_threshold.floating
            • rt.restructuring.analysis.basic_facts.preemption.rtc_threshold.job_preemptable
            • rt.restructuring.analysis.basic_facts.preemption.rtc_threshold.limited
            • rt.restructuring.analysis.basic_facts.preemption.rtc_threshold.nonpreemptive
            • rt.restructuring.analysis.basic_facts.preemption.rtc_threshold.preemptive
          • rt.restructuring.analysis.basic_facts.preemption.task:
            • rt.restructuring.analysis.basic_facts.preemption.task.floating
            • rt.restructuring.analysis.basic_facts.preemption.task.limited
            • rt.restructuring.analysis.basic_facts.preemption.task.nonpreemptive
            • rt.restructuring.analysis.basic_facts.preemption.task.preemptive
      • rt.restructuring.analysis.definitions:
        • rt.restructuring.analysis.definitions.busy_interval
        • rt.restructuring.analysis.definitions.job_properties
        • rt.restructuring.analysis.definitions.no_carry_in
        • rt.restructuring.analysis.definitions.priority_inversion
      • rt.restructuring.analysis.edf:
        • rt.restructuring.analysis.edf.optimality
        • rt.restructuring.analysis.edf.rta:
          • rt.restructuring.analysis.edf.rta.response_time_bound
          • rt.restructuring.analysis.edf.rta.nonpr_reg:
            • rt.restructuring.analysis.edf.rta.nonpr_reg.response_time_bound
            • rt.restructuring.analysis.edf.rta.nonpr_reg.concrete_models:
              • rt.restructuring.analysis.edf.rta.nonpr_reg.concrete_models.floating
              • rt.restructuring.analysis.edf.rta.nonpr_reg.concrete_models.limited
              • rt.restructuring.analysis.edf.rta.nonpr_reg.concrete_models.nonpreemptive
              • rt.restructuring.analysis.edf.rta.nonpr_reg.concrete_models.preemptive
      • rt.restructuring.analysis.facts:
        • rt.restructuring.analysis.facts.busy_interval_exists
        • rt.restructuring.analysis.facts.edf
        • rt.restructuring.analysis.facts.no_carry_in_exists
        • rt.restructuring.analysis.facts.priority_inversion_is_bounded
        • rt.restructuring.analysis.facts.tdma
        • rt.restructuring.analysis.facts.readiness:
          • rt.restructuring.analysis.facts.readiness.basic
      • rt.restructuring.analysis.fixed_priority:
        • rt.restructuring.analysis.fixed_priority.rta:
          • rt.restructuring.analysis.fixed_priority.rta.response_time_bound
          • rt.restructuring.analysis.fixed_priority.rta.nonpr_reg:
            • rt.restructuring.analysis.fixed_priority.rta.nonpr_reg.response_time_bound
            • rt.restructuring.analysis.fixed_priority.rta.nonpr_reg.concrete_models:
              • rt.restructuring.analysis.fixed_priority.rta.nonpr_reg.concrete_models.floating
              • rt.restructuring.analysis.fixed_priority.rta.nonpr_reg.concrete_models.limited
              • rt.restructuring.analysis.fixed_priority.rta.nonpr_reg.concrete_models.nonpreemptive
              • rt.restructuring.analysis.fixed_priority.rta.nonpr_reg.concrete_models.preemptive
      • rt.restructuring.analysis.transform:
        • rt.restructuring.analysis.transform.edf_trans
        • rt.restructuring.analysis.transform.prefix
        • rt.restructuring.analysis.transform.swap
        • rt.restructuring.analysis.transform.facts:
          • rt.restructuring.analysis.transform.facts.edf_opt
          • rt.restructuring.analysis.transform.facts.replace_at
          • rt.restructuring.analysis.transform.facts.swaps
    • rt.restructuring.behavior:
      • rt.restructuring.behavior.all
      • rt.restructuring.behavior.arrival_sequence
      • rt.restructuring.behavior.job
      • rt.restructuring.behavior.ready
      • rt.restructuring.behavior.schedule
      • rt.restructuring.behavior.service
      • rt.restructuring.behavior.time
    • rt.restructuring.model:
      • rt.restructuring.model.aggregate:
        • rt.restructuring.model.aggregate.service_of_jobs
        • rt.restructuring.model.aggregate.task_arrivals
        • rt.restructuring.model.aggregate.workload
      • rt.restructuring.model.arrival:
        • rt.restructuring.model.arrival.arrival_curves
        • rt.restructuring.model.arrival.sporadic
      • rt.restructuring.model.preemption:
        • rt.restructuring.model.preemption.fully_nonpreemptive
        • rt.restructuring.model.preemption.fully_preemptive
        • rt.restructuring.model.preemption.limited_preemptive
        • rt.restructuring.model.preemption.parameter
      • rt.restructuring.model.priority:
        • rt.restructuring.model.priority.classes
        • rt.restructuring.model.priority.edf
      • rt.restructuring.model.processor:
        • rt.restructuring.model.processor.ideal
        • rt.restructuring.model.processor.multiprocessor
        • rt.restructuring.model.processor.platform_properties
        • rt.restructuring.model.processor.spin
        • rt.restructuring.model.processor.varspeed
      • rt.restructuring.model.readiness:
        • rt.restructuring.model.readiness.basic
        • rt.restructuring.model.readiness.jitter
      • rt.restructuring.model.schedule:
        • rt.restructuring.model.schedule.edf
        • rt.restructuring.model.schedule.limited_preemptive
        • rt.restructuring.model.schedule.nonpreemptive
        • rt.restructuring.model.schedule.preemption_time
        • rt.restructuring.model.schedule.priority_driven
        • rt.restructuring.model.schedule.tdma
        • rt.restructuring.model.schedule.work_conserving
      • rt.restructuring.model.task:
        • rt.restructuring.model.task.absolute_deadline
        • rt.restructuring.model.task.concept
        • rt.restructuring.model.task.sequentiality
        • rt.restructuring.model.task.preemption:
          • rt.restructuring.model.task.preemption.floating_nonpreemptive
          • rt.restructuring.model.task.preemption.fully_nonpreemptive
          • rt.restructuring.model.task.preemption.fully_preemptive
          • rt.restructuring.model.task.preemption.limited_preemptive
          • rt.restructuring.model.task.preemption.parameters
  • rt.util:
    • rt.util.all
    • rt.util.bigcat
    • rt.util.counting
    • rt.util.div_mod
    • rt.util.epsilon
    • rt.util.list
    • rt.util.minmax
    • rt.util.nat
    • rt.util.nondecreasing
    • rt.util.notation
    • rt.util.rel
    • rt.util.rewrite_facilities
    • rt.util.search_arg
    • rt.util.seqset
    • rt.util.ssromega
    • rt.util.step_function
    • rt.util.sum
    • rt.util.tactics