 | atom-1.0.7: A DSL for embedded hard realtime applications. | Contents | Index |
| Language.Atom.Analysis |
| topo :: [UE] -> [(UE, String)] |
| ruleComplexity :: Rule -> Int |
| ||||
| ||||
| Synopsis | ||||
| ||||
| Documentation | ||||
| topo :: [UE] -> [(UE, String)] | ||||
| Topologically sorts a list of expressions and subexpressions. | ||||
| ruleComplexity :: Rule -> Int | ||||
| Number of UE's computed in rule. | ||||
| Produced by Haddock version 2.7.2 |