| Copyright | (c) Kristina Sojakova, DFKI Bremen 2009 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | k.sojakova@jacobs-university.de |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | Safe-Inferred |
DFOL.Analysis_DFOL
Description
Documentation
basicAnalysis :: (BASIC_SPEC, Sign, GlobalAnnos) -> Result (BASIC_SPEC, ExtSign Sign Symbol, [Named FORMULA])
symbAnalysis :: [SYMB_ITEMS] -> Result [Symbol]
symbMapAnalysis :: [SYMB_MAP_ITEMS] -> Result (Map Symbol Symbol)