Hets - the Heterogeneous Tool Set

Copyright(c) Eugen Kuksa Uni Bremen 2011 DFKI GmbH 2012
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable (via Logic.Logic)
Safe HaskellNone

Comorphisms.CommonLogic2CASL

Description

Translating comorphism from Common Logic (with and without sequence markers) to CASL

Documentation

newtype CL2CFOL Source #

Constructors

CL2CFOL 

Fields

Instances

Show CL2CFOL Source # 

Methods

showsPrec :: Int -> CL2CFOL -> ShowS

show :: CL2CFOL -> String

showList :: [CL2CFOL] -> ShowS

Language CL2CFOL Source # 

Methods

language_name :: CL2CFOL -> String Source #

description :: CL2CFOL -> String Source #

Comorphism CL2CFOL CommonLogic CommonLogicSL BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree Source #