Hets - the Heterogeneous Tool Set
Copyright(c) A. Tsogias DFKI Bremen 2011
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerAlexis.Tsogias@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

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]) Source #