Hets - the Heterogeneous Tool Set

Copyright(c) Dominik Luecke and Uni Bremen 2007
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerluecke@informatik.uni-bremen.de
Stabilityexperimental
Portabilitynon-portable (imports Logic.Logic)
Safe HaskellNone

Comorphisms.Prop2CASL

Description

The translating comorphism from Propositional to CASL.

Synopsis

Documentation

data Prop2CASL Source #

lid of the morphism

Constructors

Prop2CASL 

Instances

Show Prop2CASL Source # 

Methods

showsPrec :: Int -> Prop2CASL -> ShowS

show :: Prop2CASL -> String

showList :: [Prop2CASL] -> ShowS

Language Prop2CASL Source # 

Methods

language_name :: Prop2CASL -> String Source #

description :: Prop2CASL -> String Source #

Comorphism Prop2CASL Propositional PropSL BASIC_SPEC FORMULA 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 #