| Copyright | (c) Till Mossakowski C.Maeder and Uni Bremen 2002-2006 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Christian.Maeder@dfki.de |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | None |
CoCASL.Sublogic
Description
This module provides the sublogic functions (as required by Logic.hs) for CoCASL. It is based on the respective functions for CASL.
Synopsis
- type CoCASL_Sublogics = CASL_SL Bool
- minFormSublogic :: C_FORMULA -> CoCASL_Sublogics
- minCSigItem :: C_SIG_ITEM -> CoCASL_Sublogics
- minCBaseItem :: C_BASIC_ITEM -> CoCASL_Sublogics
- hasCoFeature :: CoCASL_Sublogics -> Bool
- setCoFeature :: Bool -> CoCASL_Sublogics -> CoCASL_Sublogics
Documentation
type CoCASL_Sublogics = CASL_SL Bool Source #
type for CoCASL sublogics
hasCoFeature :: CoCASL_Sublogics -> Bool Source #
setCoFeature :: Bool -> CoCASL_Sublogics -> CoCASL_Sublogics Source #