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.CASL2Prop

Description

A comorphism from CASL to Propositional. The CASL sublogic does not precisely capture the valid domain of the translation. Sorts, ops and preds with arguments will be ignored. The translation will fail for non-propositional sentences.

Synopsis

Documentation

data CASL2Prop Source #

lid of the morphism

Constructors

CASL2Prop 

Instances

Show CASL2Prop Source # 

Methods

showsPrec :: Int -> CASL2Prop -> ShowS

show :: CASL2Prop -> String

showList :: [CASL2Prop] -> ShowS

Language CASL2Prop Source # 

Methods

language_name :: CASL2Prop -> String Source #

description :: CASL2Prop -> String Source #

Comorphism CASL2Prop CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree Propositional PropSL BASIC_SPEC FORMULA SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree Source #