Hets - the Heterogeneous Tool Set

Copyright(c) Daniel Calegari Universidad de la Republica Uruguay 2013
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerdcalegar@fing.edu.uy
Stabilityprovisional
Portabilityportable
Safe HaskellNone

Comorphisms.QVTR2CASL

Description

 

Synopsis

Documentation

data QVTR2CASL Source #

lid of the morphism

Constructors

QVTR2CASL 

Instances

Show QVTR2CASL Source # 

Methods

showsPrec :: Int -> QVTR2CASL -> ShowS

show :: QVTR2CASL -> String

showList :: [QVTR2CASL] -> ShowS

Language QVTR2CASL Source # 

Methods

language_name :: QVTR2CASL -> String Source #

description :: QVTR2CASL -> String Source #

Comorphism QVTR2CASL QVTR () Transformation Sen () () Sign Morphism () () () CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree Source #