Copyright	(c) Till Mossakowski C.Maeder Uni Bremen 2006
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	non-portable (imports Logic.Comorphism)
Safe Haskell	None

Comorphisms.CoCASL2CoSubCFOL

Description

coding out partiality, lifted to the level of CoCASL

Synopsis

data CoCASL2CoSubCFOL = CoCASL2CoSubCFOL
codeCoRecord :: Set SORT -> Record C_FORMULA (FORMULA C_FORMULA) (TERM C_FORMULA)
codeCoFormula :: Set SORT -> FORMULA C_FORMULA -> FORMULA C_FORMULA
codeC_FORMULA :: Set SORT -> C_FORMULA -> C_FORMULA
simC_FORMULA :: C_FORMULA -> C_FORMULA
botCoSorts :: C_FORMULA -> Set SORT
botCoFormulaSorts :: FORMULA C_FORMULA -> Set SORT

Documentation

data CoCASL2CoSubCFOL Source #

The identity of the comorphism

Constructors

CoCASL2CoSubCFOL

Instances

Instances details

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

codeCoRecord :: Set SORT -> Record C_FORMULA (FORMULA C_FORMULA) (TERM C_FORMULA) Source #

codeCoFormula :: Set SORT -> FORMULA C_FORMULA -> FORMULA C_FORMULA Source #

codeC_FORMULA :: Set SORT -> C_FORMULA -> C_FORMULA Source #

simC_FORMULA :: C_FORMULA -> C_FORMULA Source #

botCoSorts :: C_FORMULA -> Set SORT Source #

botCoFormulaSorts :: FORMULA C_FORMULA -> Set SORT Source #