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

Description

removing existential quantifiers from every formula follows http://resources.mpi-inf.mpg.de/departments/rg1/teaching/autrea-ss10/script/lecture10.pdf

Documentation

data CASL2Skolem Source #

Constructors

CASL2Skolem 

Instances

Show CASL2Skolem Source # 

Methods

showsPrec :: Int -> CASL2Skolem -> ShowS

show :: CASL2Skolem -> String

showList :: [CASL2Skolem] -> ShowS

Language CASL2Skolem Source # 
Comorphism CASL2Skolem 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 #