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

Description

 

Documentation

data CASL2NNF Source #

Constructors

CASL2NNF 

Instances

Show CASL2NNF Source # 

Methods

showsPrec :: Int -> CASL2NNF -> ShowS

show :: CASL2NNF -> String

showList :: [CASL2NNF] -> ShowS

Language CASL2NNF Source # 

Methods

language_name :: CASL2NNF -> String Source #

description :: CASL2NNF -> String Source #

Comorphism CASL2NNF 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 #