Scheduling (Averest) | Averest

Scheduling Module

Namespace: Averest.TeachingTools
Assembly: Averest.dll

This module implements teaching tools for scheduling algorithms.

Functions and values

Function or value	Description
`AllenKennedyTool qscoll` Full Usage: `AllenKennedyTool qscoll` Parameters: qscoll : `NameValueCollection`	teaching tool for Allen-Kennedy loop distribution and parallelisation qscoll : `NameValueCollection`
`BasicBlockSchedulingTool qscoll` Full Usage: `BasicBlockSchedulingTool qscoll` Parameters: qscoll : `NameValueCollection`	teaching tool for basic block scheduling qscoll : `NameValueCollection`
`KarpMillerWinograd ostr beQuiet nodes rdg` Full Usage: `KarpMillerWinograd ostr beQuiet nodes rdg` Parameters: ostr : `TextWriter` beQuiet : `bool` nodes : `string list` rdg : `List<string * int list * string>` Returns: `bool * Map<string, (int[] * int) list>`	ostr : `TextWriter` beQuiet : `bool` nodes : `string list` rdg : `List<string * int list * string>` Returns: `bool * Map<string, (int[] * int) list>`
`KarpMillerWinogradTool qscoll` Full Usage: `KarpMillerWinogradTool qscoll` Parameters: qscoll : `NameValueCollection`	cgi-function qscoll : `NameValueCollection`
`PreemptivePrioritySchedulingTool qscoll` Full Usage: `PreemptivePrioritySchedulingTool qscoll` Parameters: qscoll : `NameValueCollection`	qscoll : `NameValueCollection`
`PrintSUREinLatex ostr indent nodes rdg` Full Usage: `PrintSUREinLatex ostr indent nodes rdg` Parameters: ostr : `TextWriter` indent : `string` nodes : `string list` rdg : `List<string * int list * string>`	ostr : `TextWriter` indent : `string` nodes : `string list` rdg : `List<string * int list * string>`