| Copyright | (c) Jonathan von Schroeder, DFKI GmbH 2010 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | <jonathan.von_schroeder@dfki.de> |
| Stability | experimental |
| Portability | non-portable (imports Logic.Logic) |
| Safe Haskell | Safe-Inferred |
QBF.Sublogic
Description
Sublogics for Propositional Logic
- slBasicSpec :: QBFSL -> BASICSPEC -> QBFSL
- data QBFFormulae
- data QBFSL = QBFSL {}
- sublogicsMax :: QBFSL -> QBFSL -> QBFSL
- top :: QBFSL
- bottom :: QBFSL
- sublogicsAll :: [QBFSL]
- sublogicsName :: QBFSL -> String
- slSig :: QBFSL -> Sign -> QBFSL
- slForm :: QBFSL -> FORMULA -> QBFSL
- slSym :: QBFSL -> Symbol -> QBFSL
- slSymit :: QBFSL -> SYMBITEMS -> QBFSL
- slMor :: QBFSL -> Morphism -> QBFSL
- slSymmap :: QBFSL -> SYMBMAPITEMS -> QBFSL
- prSymbolM :: QBFSL -> Symbol -> Maybe Symbol
- prSig :: QBFSL -> Sign -> Sign
- prMor :: QBFSL -> Morphism -> Morphism
- prSymMapM :: QBFSL -> SYMBMAPITEMS -> Maybe SYMBMAPITEMS
- prSymM :: QBFSL -> SYMBITEMS -> Maybe SYMBITEMS
- prFormulaM :: QBFSL -> FORMULA -> Maybe FORMULA
- prBasicSpec :: QBFSL -> BASICSPEC -> BASICSPEC
- isProp :: QBFSL -> Bool
- isHC :: QBFSL -> Bool
Documentation
slBasicSpec :: QBFSL -> BASICSPEC -> QBFSL
determines sublogic for basic spec
data QBFSL
sublogics for propositional logic
Constructors
| QBFSL | |
Fields | |
Instances
sublogicsMax :: QBFSL -> QBFSL -> QBFSL
sublogicsAll :: [QBFSL]
all sublogics
sublogicsName :: QBFSL -> String
slSymmap :: QBFSL -> SYMBMAPITEMS -> QBFSL
determines the sublogic for symbol map items
prSymMapM :: QBFSL -> SYMBMAPITEMS -> Maybe SYMBMAPITEMS
prFormulaM :: QBFSL -> FORMULA -> Maybe FORMULA
prBasicSpec :: QBFSL -> BASICSPEC -> BASICSPEC