Hets - the Heterogeneous Tool Set

Copyright	(c) Till Mossakowski and Uni Bremen 2004
License	GPLv2 or higher, see LICENSE.txt
Maintainer	luecke@informatik.uni-bremen.de
Stability	provisional
Portability	non-portable (imports Logic.Logic)
Safe Haskell	None

Comorphisms.CASL2Modal

Description

The embedding comorphism from CASL to ModalCASL.

Synopsis

data CASL2Modal = CASL2Modal

Documentation

data CASL2Modal Source #

The identity of the comorphism

Constructors

Instances

Instances details

Show CASL2Modal Source #
Instance details Defined in Comorphisms.CASL2Modal Methods showsPrec :: Int -> CASL2Modal -> ShowS show :: CASL2Modal -> String showList :: [CASL2Modal] -> ShowS
Language CASL2Modal Source #
Instance details Defined in Comorphisms.CASL2Modal Methods language_name :: CASL2Modal -> String Source # description :: CASL2Modal -> String Source #
Comorphism CASL2Modal CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree Modal () M_BASIC_SPEC ModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS MSign ModalMor Symbol RawSymbol () Source #
Instance details Defined in Comorphisms.CASL2Modal Methods sourceLogic :: CASL2Modal -> CASL Source # sourceSublogic :: CASL2Modal -> CASL_Sublogics Source # sourceSublogicLossy :: CASL2Modal -> CASL_Sublogics Source # minSourceTheory :: CASL2Modal -> Maybe (LibName, String) Source # targetLogic :: CASL2Modal -> Modal Source # mapSublogic :: CASL2Modal -> CASL_Sublogics -> Maybe () Source # map_theory :: CASL2Modal -> (CASLSign, [Named CASLFORMULA]) -> Result (MSign, [Named ModalFORMULA]) Source # mapMarkedTheory :: CASL2Modal -> (CASLSign, [Named CASLFORMULA]) -> Result (MSign, [Named ModalFORMULA]) Source # map_morphism :: CASL2Modal -> CASLMor -> Result ModalMor Source # map_sentence :: CASL2Modal -> CASLSign -> CASLFORMULA -> Result ModalFORMULA Source # map_symbol :: CASL2Modal -> CASLSign -> Symbol -> Set Symbol Source # extractModel :: CASL2Modal -> CASLSign -> () -> Result (CASLSign, [Named CASLFORMULA]) Source # is_model_transportable :: CASL2Modal -> Bool Source # has_model_expansion :: CASL2Modal -> Bool Source # is_weakly_amalgamable :: CASL2Modal -> Bool Source # constituents :: CASL2Modal -> [String] Source # isInclusionComorphism :: CASL2Modal -> Bool Source # rps :: CASL2Modal -> Bool Source # eps :: CASL2Modal -> Bool Source # isGTC :: CASL2Modal -> Bool Source #
Modification MODAL_EMBEDDING (InclComorphism CASL CASL_Sublogics) (CompComorphism CASL2Modal Modal2CASL) CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree Source #
Instance details Defined in Modifications.ModalEmbedding Methods tauSigma :: MODAL_EMBEDDING -> CASLSign -> Result CASLMor Source # sourceComorphism :: MODAL_EMBEDDING -> InclComorphism CASL CASL_Sublogics Source # targetComorphism :: MODAL_EMBEDDING -> CompComorphism CASL2Modal Modal2CASL Source #