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