| Copyright | (c) Eugen Kuksa University of Magdeburg 2017 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Eugen Kuksa <kuksa@iks.cs.ovgu.de> |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | None |
TPTP.StaticAnalysis
Description
Static Analysis for TPTP.
Documentation
basicAnalysis :: (BASIC_SPEC, Sign, GlobalAnnos) -> Result (BASIC_SPEC, ExtSign Sign Symbol, [Named Sentence]) Source #
signOfSentence :: Sentence -> Sign Source #