atom-1.0.13: An EDSL for embedded hard realtime applications.

Copyright(c) 2013 Tom Hawkins & Lee Pike
Safe HaskellNone
LanguageHaskell98

Language.Atom.Analysis

Description

 

Synopsis

Documentation

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.