Copyright	(c) Kristina Sojakova DFKI Bremen 2009
License	GPLv2 or higher, see LICENSE.txt
Maintainer	k.sojakova@jacobs-university.de
Stability	experimental
Portability	portable
Safe Haskell	None

Comorphisms.DFOL2CASL

Description

Documentation

data DFOL2CASL Source #

Constructors

DFOL2CASL

Instances

Instances details

Show DFOL2CASL Source #
Instance details Defined in Comorphisms.DFOL2CASL Methods showsPrec :: Int -> DFOL2CASL -> ShowS show :: DFOL2CASL -> String showList :: [DFOL2CASL] -> ShowS
Language DFOL2CASL Source #
Instance details Defined in Comorphisms.DFOL2CASL Methods language_name :: DFOL2CASL -> String Source # description :: DFOL2CASL -> String Source #
Comorphism DFOL2CASL DFOL () BASIC_SPEC FORMULA SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol () CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree Source #
Instance details Defined in Comorphisms.DFOL2CASL Methods sourceLogic :: DFOL2CASL -> DFOL Source # sourceSublogic :: DFOL2CASL -> () Source # sourceSublogicLossy :: DFOL2CASL -> () Source # minSourceTheory :: DFOL2CASL -> Maybe (LibName, String) Source # targetLogic :: DFOL2CASL -> CASL Source # mapSublogic :: DFOL2CASL -> () -> Maybe CASL_Sublogics Source # map_theory :: DFOL2CASL -> (Sign, [Named FORMULA]) -> Result (CASLSign, [Named CASLFORMULA]) Source # mapMarkedTheory :: DFOL2CASL -> (Sign, [Named FORMULA]) -> Result (CASLSign, [Named CASLFORMULA]) Source # map_morphism :: DFOL2CASL -> Morphism -> Result CASLMor Source # map_sentence :: DFOL2CASL -> Sign -> FORMULA -> Result CASLFORMULA Source # map_symbol :: DFOL2CASL -> Sign -> Symbol -> Set Symbol0 Source # extractModel :: DFOL2CASL -> Sign -> ProofTree -> Result (Sign, [Named FORMULA]) Source # is_model_transportable :: DFOL2CASL -> Bool Source # has_model_expansion :: DFOL2CASL -> Bool Source # is_weakly_amalgamable :: DFOL2CASL -> Bool Source # constituents :: DFOL2CASL -> [String] Source # isInclusionComorphism :: DFOL2CASL -> Bool Source # rps :: DFOL2CASL -> Bool Source # eps :: DFOL2CASL -> Bool Source # isGTC :: DFOL2CASL -> Bool Source #