atom-1.0.11: A DSL for embedded hard realtime applications.
Language.Atom.Analysis
Synopsis
topo :: UeMap -> [Hash] -> [(Hash, String)]Source
Topologically sorts a list of expressions and subexpressions.
ruleComplexity :: UeMap -> Rule -> IntSource
Number of UE's computed in rule.