Hets - the Heterogeneous Tool Set

Copyright(c) DFKI GmbH 2012
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable(derive Typeable instances)
Safe HaskellNone

QBF.ATC_QBF

Contents

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])