model reorg: 'sequential tasks' is a task property

restructuring/analysis/abstract/core/abstract_seq_rta.v

@@ -9,7 +9,7 @@ Require Import rt.restructuring.model.preemption.task.parameters.
 Require Import rt.restructuring.analysis.basic_facts.preemption.rtc_threshold.job_preemptable.
 Require Import rt.restructuring.model.arrival.arrival_curves.
 
-Require Import rt.restructuring.model.schedule.sequential.
+Require Import rt.restructuring.model.task.sequential.
 Require Import rt.restructuring.analysis.schedulability.
 Require Import rt.restructuring.analysis.basic_facts.ideal_schedule.
 Require Import rt.restructuring.analysis.basic_facts.workload.

restructuring/analysis/abstract/instantiations/ideal_processor.v

@@ -2,7 +2,7 @@ Require Export rt.restructuring.analysis.definitions.job_properties.
 Require Export rt.restructuring.model.task.
 Require Export rt.restructuring.model.aggregate.workload.
 Require Import rt.restructuring.model.schedule.work_conserving.
-Require Import rt.restructuring.model.schedule.sequential.
+Require Import rt.restructuring.model.task.sequential.
 Require Import rt.restructuring.model.priority.classes.
 Require Import rt.restructuring.analysis.definitions.busy_interval.
 Require Import rt.restructuring.analysis.definitions.priority_inversion.

restructuring/analysis/basic_facts/sequential.v

-Require Export rt.restructuring.model.schedule.sequential.
+Require Export rt.restructuring.model.task.sequential.
 
 Section ExecutionOrder.
   (** Consider any type of job associated with any type of tasks... *)