Hets - the Heterogeneous Tool Set

Copyright(c) C. Maeder DFKI Bremen 2008
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable (imports Logic.Logic)
Safe HaskellNone

Comorphisms.CASL2VSE

Description

The embedding comorphism from CASL to VSE.

Synopsis

Documentation

data CASL2VSE Source #

The identity of the comorphism

Constructors

CASL2VSE 

Instances

Show CASL2VSE Source # 

Methods

showsPrec :: Int -> CASL2VSE -> ShowS

show :: CASL2VSE -> String

showList :: [CASL2VSE] -> ShowS

Language CASL2VSE Source # 

Methods

language_name :: CASL2VSE -> String Source #

description :: CASL2VSE -> String Source #

Comorphism CASL2VSE CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree VSE () VSEBasicSpec Sentence SYMB_ITEMS SYMB_MAP_ITEMS VSESign VSEMor Symbol RawSymbol () Source #