Copyright	(c) Till Mossakowski Uni Bremen 2002-2005
License	GPLv2 or higher, see LICENSE.txt
Maintainer	till@informatik.uni-bremen.de
Stability	provisional
Portability	portable
Safe Haskell	None

Comorphisms.CoCASL2CoPCFOL

Description

Coding out subsorting, lifted tot eh level of CoCASL

Synopsis

data CoCASL2CoPCFOL = CoCASL2CoPCFOL
cf2CFormula :: FORMULA C_FORMULA -> FORMULA C_FORMULA
projC_Formula :: C_FORMULA -> C_FORMULA
injC_Formula :: C_FORMULA -> C_FORMULA

Documentation

data CoCASL2CoPCFOL Source #

The identity of the comorphism

Constructors

CoCASL2CoPCFOL

Instances

Instances details

Show CoCASL2CoPCFOL Source #
Instance details Defined in Comorphisms.CoCASL2CoPCFOL Methods showsPrec :: Int -> CoCASL2CoPCFOL -> ShowS show :: CoCASL2CoPCFOL -> String showList :: [CoCASL2CoPCFOL] -> ShowS
Language CoCASL2CoPCFOL Source #
Instance details Defined in Comorphisms.CoCASL2CoPCFOL Methods language_name :: CoCASL2CoPCFOL -> String Source # description :: CoCASL2CoPCFOL -> String Source #
Comorphism CoCASL2CoPCFOL CoCASL CoCASL_Sublogics C_BASIC_SPEC CoCASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CSign CoCASLMor Symbol RawSymbol () CoCASL CoCASL_Sublogics C_BASIC_SPEC CoCASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CSign CoCASLMor Symbol RawSymbol () Source #
Instance details Defined in Comorphisms.CoCASL2CoPCFOL Methods sourceLogic :: CoCASL2CoPCFOL -> CoCASL Source # sourceSublogic :: CoCASL2CoPCFOL -> CoCASL_Sublogics Source # sourceSublogicLossy :: CoCASL2CoPCFOL -> CoCASL_Sublogics Source # minSourceTheory :: CoCASL2CoPCFOL -> Maybe (LibName, String) Source # targetLogic :: CoCASL2CoPCFOL -> CoCASL Source # mapSublogic :: CoCASL2CoPCFOL -> CoCASL_Sublogics -> Maybe CoCASL_Sublogics Source # map_theory :: CoCASL2CoPCFOL -> (CSign, [Named CoCASLFORMULA]) -> Result (CSign, [Named CoCASLFORMULA]) Source # mapMarkedTheory :: CoCASL2CoPCFOL -> (CSign, [Named CoCASLFORMULA]) -> Result (CSign, [Named CoCASLFORMULA]) Source # map_morphism :: CoCASL2CoPCFOL -> CoCASLMor -> Result CoCASLMor Source # map_sentence :: CoCASL2CoPCFOL -> CSign -> CoCASLFORMULA -> Result CoCASLFORMULA Source # map_symbol :: CoCASL2CoPCFOL -> CSign -> Symbol -> Set Symbol Source # extractModel :: CoCASL2CoPCFOL -> CSign -> () -> Result (CSign, [Named CoCASLFORMULA]) Source # is_model_transportable :: CoCASL2CoPCFOL -> Bool Source # has_model_expansion :: CoCASL2CoPCFOL -> Bool Source # is_weakly_amalgamable :: CoCASL2CoPCFOL -> Bool Source # constituents :: CoCASL2CoPCFOL -> [String] Source # isInclusionComorphism :: CoCASL2CoPCFOL -> Bool Source # rps :: CoCASL2CoPCFOL -> Bool Source # eps :: CoCASL2CoPCFOL -> Bool Source # isGTC :: CoCASL2CoPCFOL -> Bool Source #

cf2CFormula :: FORMULA C_FORMULA -> FORMULA C_FORMULA Source #

projC_Formula :: C_FORMULA -> C_FORMULA Source #

injC_Formula :: C_FORMULA -> C_FORMULA Source #