Hets - the Heterogeneous Tool Set

Copyright(c) Mihai Codescu 2016
LicenseGPLv2 or higher, see LICENSE.txt
Maintainercodescu@iws.cs.uni-magdeburg.de
Stabilityprovisional
Portabilitynon-portable (imports Logic.Comorphism)
Safe HaskellNone

Comorphisms.CASL2Prenex

Description

 

Documentation

data CASL2Prenex Source #

Constructors

CASL2Prenex 

Instances

Show CASL2Prenex Source # 

Methods

showsPrec :: Int -> CASL2Prenex -> ShowS

show :: CASL2Prenex -> String

showList :: [CASL2Prenex] -> ShowS

Language CASL2Prenex Source # 
Comorphism CASL2Prenex CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree Source # 

mkDistVarsAux :: Int -> [(VAR, SORT)] -> CASLFORMULA -> (Int, [(VAR, SORT)], CASLFORMULA) Source #