Commit 4e8d37b0 authored by Markus Klinik's avatar Markus Klinik

data type definitions

parent bff792ea
......@@ -13,13 +13,17 @@ Phase two uses these assignments to build schedules.
\subsection{Instance Definition}
A C2 instance definition consists of a list of resource definitions, a list of task definitions, a list of resource frame definitions, and a list of weights.
A resource definition consists of a name and a list of skills.
A task definition consists of a name, a duration, a list of skill requirements, and a list of predecessors.
A weight is a floating point number.
Resource frames specify resource affinity constraints.
A resource frame has a list of task definitions and a list of resource requirements.
A resource frame has a list of tasks and a list of resource requirements.
Every resource requirement of a resource frame is by definition a resource requirement of all tasks inside the frame, and assigning a resource to a frame requirement automatically assigns it to all tasks in the frame.
See \cref{fig:resource-frames} for an example.
There are two tasks, Prepare and Deploy, which both require an Operator.
The tasks are inside a resource frame that requires a Transport.
The meaning of this is that both tasks also require a Transport, and that the transport assigned to both tasks must be the same one.
This means that both tasks also require a Transport, and that the transport assigned to both tasks must be the same one.
\begin{figure}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment