| Copyright | (c) Klaus Luettich Uni Bremen 2005 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | luecke@informatik.uni-bremen.de |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | None |
CASL_DL.StatAna
Contents
Description
static analysis of DL parts especially cardinalities, predefined datatypes and additional annottations
Synopsis
- basicCASL_DLAnalysis :: (BASIC_SPEC () () DL_FORMULA, Sign DL_FORMULA CASL_DLSign, GlobalAnnos) -> Result (BASIC_SPEC () () DL_FORMULA, ExtSign (Sign DL_FORMULA CASL_DLSign) Symbol, [Named (FORMULA DL_FORMULA)])
- minDLForm :: Min DL_FORMULA CASL_DLSign
- checkSymbolMapDL :: RawSymbolMap -> Result RawSymbolMap
- type DLSign = Sign DL_FORMULA CASL_DLSign
Documentation
basicCASL_DLAnalysis :: (BASIC_SPEC () () DL_FORMULA, Sign DL_FORMULA CASL_DLSign, GlobalAnnos) -> Result (BASIC_SPEC () () DL_FORMULA, ExtSign (Sign DL_FORMULA CASL_DLSign) Symbol, [Named (FORMULA DL_FORMULA)]) Source #
checkSymbolMapDL :: RawSymbolMap -> Result RawSymbolMap Source #
symbol map analysis
type DLSign = Sign DL_FORMULA CASL_DLSign Source #
Orphan instances
| TermExtension DL_FORMULA Source # | |
Methods freeVarsOfExt :: Sign DL_FORMULA e -> DL_FORMULA -> VarSet Source # optTermSort :: DL_FORMULA -> Maybe SORT Source # sortOfTerm :: DL_FORMULA -> SORT Source # termToFormula :: TERM DL_FORMULA -> Result (FORMULA DL_FORMULA) Source # | |