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

Description

 

Synopsis

Documentation

data Prop2QBF Source #

lid of the morphism

Constructors

Prop2QBF 

Instances

Show Prop2QBF Source # 

Methods

showsPrec :: Int -> Prop2QBF -> ShowS

show :: Prop2QBF -> String

showList :: [Prop2QBF] -> ShowS

Language Prop2QBF Source # 

Methods

language_name :: Prop2QBF -> String Source #

description :: Prop2QBF -> String Source #

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