Struct tgff::Graph

pub struct Graph {
    pub name: String,
    pub id: usize,
    pub attributes: HashMap<String, usize>,
    pub tasks: Vec<Task>,
    pub arcs: Vec<Arc>,
    pub deadlines: Vec<Deadline>,
}

A task graph.

Fields

name: String

The name of the graph.

id: usize

The ID of the graph.

attributes: HashMap<String, usize>

Graph attributes such as PERIOD.

tasks: Vec<Task>

Vertices representing tasks.

arcs: Vec<Arc>

Edges representing dependencies between the tasks.

deadlines: Vec<Deadline>

Hard deadlines of a subset of the tasks.