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