| Copyright | (c) C. Maeder DFKI GmbH 2012 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Christian.Maeder@dfki.de |
| Stability | provisional |
| Portability | non-portable (imports Logic.Logic) |
| Safe Haskell | None |
Comorphisms.ExtModal2ExtModalTotal
Description
Coding out subsorting (SubPCFOL= -> PCFOL=), following Chap. III:3.1 of the CASL Reference Manual
- data ExtModal2ExtModalTotal = ExtModal2ExtModalTotal
- emEncodeSig :: Set SORT -> Sign f EModalSign -> Sign f EModalSign
- emsortsWithBottom :: Sign f e -> Set SORT
- simplifyEM :: EM_FORMULA -> EM_FORMULA
- simplifyEMFormula :: FORMULA EM_FORMULA -> FORMULA EM_FORMULA
- noCondsEM :: EM_FORMULA -> EM_FORMULA
- noCondsEMFormula :: FORMULA EM_FORMULA -> FORMULA EM_FORMULA
- codeEM :: Set SORT -> EM_FORMULA -> EM_FORMULA
- codeEMFormula :: Set SORT -> FORMULA EM_FORMULA -> FORMULA EM_FORMULA
Documentation
The identity of the comorphism
Constructors
| ExtModal2ExtModalTotal |
Instances
emEncodeSig :: Set SORT -> Sign f EModalSign -> Sign f EModalSign
emsortsWithBottom :: Sign f e -> Set SORT
simplifyEM :: EM_FORMULA -> EM_FORMULA
noCondsEM :: EM_FORMULA -> EM_FORMULA
codeEM :: Set SORT -> EM_FORMULA -> EM_FORMULA
codeEMFormula :: Set SORT -> FORMULA EM_FORMULA -> FORMULA EM_FORMULA