pub(all) suberror ModelError {
  InvalidModel
  ResourceLimit
}

pub(all) struct Assignment {
  order : Array[Int]
  tasks : Array[Task]
}

pub(all) struct DemandWitness {
  interval : Int
  demand : Int64
}

pub(all) struct Response {
  name : String
  bound : Int64
  meets_deadline : Bool
  iterations : Array[Int64]
}

pub(all) struct Simulation {
  ticks : Array[Tick]
  missed_tasks : Array[Int]
}

pub(all) struct Task {
  name : String
  cost : Int
  period : Int
  deadline : Int
  jitter : Int
  blocking : Int
}

pub(all) struct TaskChange {
  name : String
  before_feasible : Bool
  after_feasible : Bool
  before_upper : Int64?
  after_upper : Int64?
  slack_before : Int64?
  slack_after : Int64?
}

pub(all) struct Tick {
  time : Int
  task : Int
}

fn assign_priorities(tasks : Array[Task]) -> Assignment? raise ModelError

fn compare(before : Array[Task], after : Array[Task]) -> Array[TaskChange] raise ModelError

fn edf_window(tasks : Array[Task], horizon : Int) -> DemandWitness? raise ModelError

fn fixed_priority(tasks : Array[Task]) -> Array[Response] raise ModelError

fn maximum_cost(tasks : Array[Task], index : Int) -> Int? raise ModelError

fn simulate(tasks : Array[Task], horizon : Int) -> Simulation raise ModelError