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

Safe HaskellSafe-Infered

Language.Atom.Analysis

Synopsis

Documentation

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.