atom-1.0.9: A DSL for embedded hard realtime applications.

Safe HaskellNone

Language.Atom.Analysis

Synopsis

Documentation

topo :: UeMap -> [Hash] -> [(Hash, String)]

Topologically sorts a list of expressions and subexpressions.

ruleComplexity :: UeMap -> Rule -> Int

Number of UE's computed in rule.