atom-1.0.7: A DSL for embedded hard realtime applications.
Contents
Index
Language.Atom.Analysis
Synopsis
topo
:: [
UE
] -> [(
UE
,
String
)]
ruleComplexity
::
Rule
->
Int
Documentation
topo
:: [
UE
] -> [(
UE
,
String
)]
Topologically sorts a list of expressions and subexpressions.
ruleComplexity
::
Rule
->
Int
Number of UE's computed in rule.
Produced by
Haddock
version 2.7.2