Hets - the Heterogeneous Tool Set

Copyright(c) Till Mossakowski, C.Maeder and Uni Bremen 2002-2006
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityexperimental
Portabilityportable
Safe HaskellNone

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

Documentation

type CoCASL_Sublogics = CASL_SL Bool

type for CoCASL sublogics

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