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

Language.Atom.Code

Description

Atom code generation.

Synopsis

writeC :: Name -> [[[Rule]]] -> [UV] -> IO ()
ruleComplexity :: Rule -> Int

Documentation

writeC :: Name -> [[[Rule]]] -> [UV] -> IO () Source

ruleComplexity :: Rule -> Int Source

Number of UE's computed in rule.