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`	ostr : `TextWriter` beQuiet : `bool` nodes : `string list` rdg : `List<string * int list * string>` Returns: `bool`
`KarpMillerWinogradTool qscoll` Full Usage: `KarpMillerWinogradTool qscoll` Parameters: qscoll : `NameValueCollection`	cgi-function qscoll : `NameValueCollection`
`MkConnectWeightMatrix nodes rdg` Full Usage: `MkConnectWeightMatrix nodes rdg` Parameters: nodes : `string list` rdg : `List<string * int list * string>` Returns: `int[,]`	nodes : `string list` rdg : `List<string * int list * string>` Returns: `int[,]`
`ParseRDG s` Full Usage: `ParseRDG s` Parameters: s : `string` Returns: `string list * (string * int list * string) list`	s : `string` Returns: `string list * (string * int list * string) list`
`PreemptivePrioritySchedulingTool qscoll` Full Usage: `PreemptivePrioritySchedulingTool qscoll` Parameters: qscoll : `NameValueCollection`	qscoll : `NameValueCollection`
`PrintLinearEquationsInLatex ostr indent m` Full Usage: `PrintLinearEquationsInLatex ostr indent m` Parameters: ostr : `TextWriter` indent : `string` m : `int[,]`	ostr : `TextWriter` indent : `string` m : `int[,]`
`PrintRedDepGraph ostr nodes rdg` Full Usage: `PrintRedDepGraph ostr nodes rdg` Parameters: ostr : `TextWriter` nodes : `string seq` rdg : `List<string * int list * string>`	ostr : `TextWriter` nodes : `string seq` rdg : `List<string * int list * string>`
`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>`
`PrintZeroWeightCycles ostr qv rdg` Full Usage: `PrintZeroWeightCycles ostr qv rdg` Parameters: ostr : `TextWriter` qv : `int array` rdg : `List<string * int list * string>`	ostr : `TextWriter` qv : `int array` rdg : `List<string * int list * string>`
`ZeroWeightCycles nodes rdg` Full Usage: `ZeroWeightCycles nodes rdg` Parameters: nodes : `string list` rdg : `List<string * int list * string>` Returns: `(int[] * int[]) option`	nodes : `string list` rdg : `List<string * int list * string>` Returns: `(int[] * int[]) option`