Hets - the Heterogeneous Tool Set

Copyright(c) Jonathan von Schroeder DFKI GmbH 2010
LicenseGPLv2 or higher, see LICENSE.txt
Maintainer<jonathan.von_schroeder@dfki.de>
Stabilityexperimental
Portabilitynon-portable (imports Logic.Logic)
Safe HaskellNone

Comorphisms.QBF2Prop

Description

 

Synopsis

Documentation

data QBF2Prop Source #

lid of the morphism

Constructors

QBF2Prop 

Instances

Show QBF2Prop Source # 

Methods

showsPrec :: Int -> QBF2Prop -> ShowS

show :: QBF2Prop -> String

showList :: [QBF2Prop] -> ShowS

Language QBF2Prop Source # 

Methods

language_name :: QBF2Prop -> String Source #

description :: QBF2Prop -> String Source #

Comorphism QBF2Prop QBF QBFSL BASICSPEC FORMULA SYMBITEMS SYMBMAPITEMS Sign Morphism Symbol Symbol ProofTree Propositional PropSL BASIC_SPEC FORMULA SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree Source #