| Copyright | (c) A. Tsogias, DFKI Bremen 2011 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Alexis.Tsogias@dfki.de |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | None |
THF.StaticAnalysisTHF
Description
Static analysis for THF. NOTE: This implementation covers only THF0!
Documentation
basicAnalysis :: (BasicSpecTHF, SignTHF, GlobalAnnos) -> Result (BasicSpecTHF, ExtSign SignTHF SymbolTHF, [Named THFFormula])