Hets - the Heterogeneous Tool Set

Copyright(c) Adrian Riesco and Uni Bremen 2007
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerariesco@fdi.ucm.es
Stabilityexperimental
Portabilitynon-portable (imports Logic.Logic)
Safe HaskellNone

Comorphisms.Maude2CASL

Description

The translating comorphism from Maude with preorder semantics to CASL.

Synopsis

Documentation

data Maude2CASL Source #

lid of the morphism

Constructors

Maude2CASL 

Instances

Show Maude2CASL Source # 

Methods

showsPrec :: Int -> Maude2CASL -> ShowS

show :: Maude2CASL -> String

showList :: [Maude2CASL] -> ShowS

Language Maude2CASL Source # 

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 #