Copyright	(c) DFKI GmbH 2012
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	non-portable(derive Typeable instances)
Safe Haskell	None

QBF.ATC_QBF

Contents

Orphan instances

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible for the type(s): Sign Morphism PREDITEM BASICSPEC BASICITEMS FORMULA ID SYMBITEMS SYMB SYMBMAPITEMS SYMBORMAP Symbol QBFFormulae QBFSL

Orphan instances

ShATermConvertible Sign Source #
Methods toShATermAux :: ATermTable -> Sign -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Sign] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Sign) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Sign])
ShATermConvertible SYMBORMAP Source #
Methods toShATermAux :: ATermTable -> SYMBORMAP -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SYMBORMAP] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SYMBORMAP) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SYMBORMAP])
ShATermConvertible SYMBMAPITEMS Source #
Methods toShATermAux :: ATermTable -> SYMBMAPITEMS -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SYMBMAPITEMS] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SYMBMAPITEMS) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SYMBMAPITEMS])
ShATermConvertible SYMB Source #
Methods toShATermAux :: ATermTable -> SYMB -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SYMB] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SYMB) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SYMB])
ShATermConvertible SYMBITEMS Source #
Methods toShATermAux :: ATermTable -> SYMBITEMS -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SYMBITEMS] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SYMBITEMS) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SYMBITEMS])
ShATermConvertible ID Source #
Methods toShATermAux :: ATermTable -> ID -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ID] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ID) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ID])
ShATermConvertible FORMULA Source #
Methods toShATermAux :: ATermTable -> FORMULA -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FORMULA] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FORMULA) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FORMULA])
ShATermConvertible BASICITEMS Source #
Methods toShATermAux :: ATermTable -> BASICITEMS -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [BASICITEMS] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, BASICITEMS) fromShATermList' :: Int -> ATermTable -> (ATermTable, [BASICITEMS])
ShATermConvertible BASICSPEC Source #
Methods toShATermAux :: ATermTable -> BASICSPEC -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [BASICSPEC] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, BASICSPEC) fromShATermList' :: Int -> ATermTable -> (ATermTable, [BASICSPEC])
ShATermConvertible PREDITEM Source #
Methods toShATermAux :: ATermTable -> PREDITEM -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [PREDITEM] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, PREDITEM) fromShATermList' :: Int -> ATermTable -> (ATermTable, [PREDITEM])
ShATermConvertible Morphism Source #
Methods toShATermAux :: ATermTable -> Morphism -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Morphism] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Morphism) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Morphism])
ShATermConvertible Symbol Source #
Methods toShATermAux :: ATermTable -> Symbol -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Symbol] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Symbol) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Symbol])
ShATermConvertible QBFSL Source #
Methods toShATermAux :: ATermTable -> QBFSL -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [QBFSL] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, QBFSL) fromShATermList' :: Int -> ATermTable -> (ATermTable, [QBFSL])
ShATermConvertible QBFFormulae Source #
Methods toShATermAux :: ATermTable -> QBFFormulae -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [QBFFormulae] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, QBFFormulae) fromShATermList' :: Int -> ATermTable -> (ATermTable, [QBFFormulae])