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

Language.Atom.Analysis

Synopsis

topo :: [UE] -> [(UE, String)]
ruleComplexity :: Rule -> Int

Documentation

topo :: [UE] -> [(UE, String)]Source

Topologically sorts a list of expressions and subexpressions.

ruleComplexity :: Rule -> Int Source

Number of UE's computed in rule.