Copyright	(c) Adrian Riesco and Uni Bremen 2007
License	GPLv2 or higher, see LICENSE.txt
Maintainer	ariesco@fdi.ucm.es
Stability	experimental
Portability	non-portable (imports Logic.Logic)
Safe Haskell	None

Comorphisms.Maude2CASL

Description

The translating comorphism from Maude with preorder semantics to CASL.

Synopsis

data Maude2CASL = Maude2CASL
mapMaudeFreeness :: Morphism -> Result (CASLSign, CASLMor, CASLMor)

Documentation

data Maude2CASL Source #

lid of the morphism

Constructors

Maude2CASL

Instances

Instances details

Show Maude2CASL Source #
Instance details Defined in Comorphisms.Maude2CASL Methods showsPrec :: Int -> Maude2CASL -> ShowS show :: Maude2CASL -> String showList :: [Maude2CASL] -> ShowS
Language Maude2CASL Source #
Instance details Defined in Comorphisms.Maude2CASL Methods language_name :: Maude2CASL -> String Source # description :: Maude2CASL -> String Source #
Comorphism Maude2CASL Maude () MaudeText Sentence () () 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.Maude2CASL Methods sourceLogic :: Maude2CASL -> Maude Source # sourceSublogic :: Maude2CASL -> () Source # sourceSublogicLossy :: Maude2CASL -> () Source # minSourceTheory :: Maude2CASL -> Maybe (LibName, String) Source # targetLogic :: Maude2CASL -> CASL Source # mapSublogic :: Maude2CASL -> () -> Maybe CASL_Sublogics Source # map_theory :: Maude2CASL -> (Sign, [Named Sentence]) -> Result (CASLSign, [Named CASLFORMULA]) Source # mapMarkedTheory :: Maude2CASL -> (Sign, [Named Sentence]) -> Result (CASLSign, [Named CASLFORMULA]) Source # map_morphism :: Maude2CASL -> Morphism -> Result CASLMor Source # map_sentence :: Maude2CASL -> Sign -> Sentence -> Result CASLFORMULA Source # map_symbol :: Maude2CASL -> Sign -> Symbol -> Set Symbol0 Source # extractModel :: Maude2CASL -> Sign -> ProofTree -> Result (Sign, [Named Sentence]) Source # is_model_transportable :: Maude2CASL -> Bool Source # has_model_expansion :: Maude2CASL -> Bool Source # is_weakly_amalgamable :: Maude2CASL -> Bool Source # constituents :: Maude2CASL -> [String] Source # isInclusionComorphism :: Maude2CASL -> Bool Source # rps :: Maude2CASL -> Bool Source # eps :: Maude2CASL -> Bool Source # isGTC :: Maude2CASL -> Bool Source #

mapMaudeFreeness :: Morphism -> Result (CASLSign, CASLMor, CASLMor) Source #