Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface TaskConfig

configuration structure for tasks

Hierarchy

  • TaskConfig

Index

Properties

Properties

Optional budget

budget: undefined | number

Optional deadline

deadline: undefined | number

name

name: string

Optional parent

parent: Task

Optional priority

priority: undefined | number

Optional wcet

wcet: undefined | number

Generated using TypeDoc