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

Comorphisms.Prop2CASL

Description

The translating comorphism from Propositional to CASL.

Synopsis

data Prop2CASL = Prop2CASL

Documentation

data Prop2CASL Source #

lid of the morphism

Constructors

Prop2CASL

Instances

Instances details

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