model reorg: move preemption.valid_schedule -> schedule.limited_preemptive

All "kinds of schedules" and associated validity conditions are being
collected in model.schedule.

restructuring/analysis/basic_facts/preemption/job/limited.v

@@ -4,7 +4,7 @@ Require Import rt.restructuring.analysis.basic_facts.all.
 Require Import rt.restructuring.analysis.definitions.job_properties.
 Require Import rt.restructuring.model.task.concept.
 Require Import rt.restructuring.model.preemption.valid_model.
-Require Import rt.restructuring.model.preemption.valid_schedule.
+Require Import rt.restructuring.model.schedule.limited_preemptive.
 Require Import rt.restructuring.model.preemption.job.parameters.
 Require Import rt.restructuring.model.task.preemption.parameters.
 Require Import rt.restructuring.model.preemption.rtc_threshold.valid_rtct.

restructuring/analysis/basic_facts/preemption/rtc_threshold/limited.v

@@ -4,7 +4,7 @@ Require Import rt.restructuring.behavior.schedule.
 Require Import rt.restructuring.analysis.definitions.job_properties.
 Require Import rt.restructuring.model.task.concept.
 Require Import rt.restructuring.model.preemption.rtc_threshold.valid_rtct.
-Require Import rt.restructuring.model.preemption.valid_schedule.
+Require Import rt.restructuring.model.schedule.limited_preemptive.
 Require Import rt.restructuring.model.preemption.job.parameters.
 Require Import rt.restructuring.model.task.preemption.parameters.
 Require Import rt.restructuring.model.preemption.job.instance.limited.

restructuring/analysis/basic_facts/preemption/task/floating.v

@@ -8,7 +8,7 @@ Require Import rt.restructuring.model.preemption.job.parameters.
 Require Import rt.restructuring.model.task.preemption.parameters.
 Require Import rt.restructuring.model.preemption.rtc_threshold.valid_rtct.
 Require Import rt.restructuring.model.preemption.job.instance.limited.
-Require Import rt.restructuring.model.preemption.valid_schedule.
+Require Import rt.restructuring.model.schedule.limited_preemptive.
 Require Import rt.restructuring.model.task.preemption.floating_nonpreemptive.
 Require Import rt.restructuring.analysis.basic_facts.preemption.job.limited.
 

restructuring/analysis/basic_facts/preemption/task/limited.v

@@ -6,7 +6,7 @@ Require Import rt.restructuring.model.task.concept.
 Require Import rt.restructuring.model.preemption.valid_model.
 Require Import rt.restructuring.model.preemption.job.parameters.
 Require Import rt.restructuring.model.task.preemption.parameters.
-Require Import rt.restructuring.model.preemption.valid_schedule.
+Require Import rt.restructuring.model.schedule.limited_preemptive.
 Require Import rt.restructuring.model.preemption.job.instance.limited.
 Require Import rt.restructuring.model.task.preemption.limited_preemptive.
 Require Import rt.restructuring.analysis.basic_facts.preemption.job.limited.

restructuring/model/preemption/floating.v

 Require Export rt.restructuring.model.preemption.valid_model.
-Require Export rt.restructuring.model.preemption.valid_schedule.
+Require Export rt.restructuring.model.schedule.limited_preemptive.
 Require Export rt.restructuring.model.task.preemption.floating_nonpreemptive.
 Require Export rt.restructuring.model.preemption.rtc_threshold.instance.floating.

restructuring/model/preemption/limited.v

 Require Export rt.restructuring.model.preemption.valid_model.
-Require Export rt.restructuring.model.preemption.valid_schedule.
+Require Export rt.restructuring.model.schedule.limited_preemptive.
 Require Export rt.restructuring.model.task.preemption.limited_preemptive.
 Require Export rt.restructuring.model.preemption.rtc_threshold.instance.limited.

restructuring/model/preemption/nonpreemptive.v

 Require Export rt.restructuring.model.schedule.nonpreemptive.
 
-Require Export rt.restructuring.model.preemption.valid_schedule.
+Require Export rt.restructuring.model.schedule.limited_preemptive.
 Require Export rt.restructuring.model.preemption.job.instance.nonpreemptive.
 Require Export rt.restructuring.model.task.preemption.fully_nonpreemptive.
 Require Export rt.restructuring.model.preemption.rtc_threshold.instance.nonpreemptive.

restructuring/model/preemption/preemptive.v

-Require Export rt.restructuring.model.preemption.valid_schedule.
+Require Export rt.restructuring.model.schedule.limited_preemptive.
 Require Export rt.restructuring.model.preemption.job.instance.preemptive.
 Require Export rt.restructuring.model.task.preemption.fully_preemptive.
 Require Export rt.restructuring.model.preemption.rtc_threshold.instance.preemptive.