| 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
Description
static analysis of DL parts especially cardinalities, predefined datatypes and additional annottations
- 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)])
checkSymbolMapDL :: RawSymbolMap -> Result RawSymbolMap
symbol map analysis
type DLSign = Sign DL_FORMULA CASL_DLSign