| 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 |
DFOL.Analysis_DFOL
Description
Documentation
basicAnalysis :: (BASIC_SPEC, Sign, GlobalAnnos) -> Result (BASIC_SPEC, ExtSign Sign Symbol, [Named FORMULA]) Source #
symbAnalysis :: [SYMB_ITEMS] -> Result [Symbol] Source #
symbMapAnalysis :: [SYMB_MAP_ITEMS] -> Result (Map Symbol Symbol) Source #