Hets - the Heterogeneous Tool Set

Copyright(c) Stef Joosten Christian Maeder DFKI GmbH 2010
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityexperimental
Portabilitynon-portable (imports Logic.Logic)
Safe HaskellNone

Comorphisms.Adl2CASL

Description

The translating comorphism from Adl to CASL.

Synopsis

Documentation

data Adl2CASL Source #

lid of the morphism

Constructors

Adl2CASL 

Instances

Show Adl2CASL Source # 

Methods

showsPrec :: Int -> Adl2CASL -> ShowS

show :: Adl2CASL -> String

showList :: [Adl2CASL] -> ShowS

Language Adl2CASL Source # 

Methods

language_name :: Adl2CASL -> String Source #

description :: Adl2CASL -> String Source #

Comorphism Adl2CASL Adl () Context Sen () () Sign Morphism Symbol RawSymbol ProofTree CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree Source #