{-# OPTIONS -w #-}

{- |

Module : QBF/ATC_QBF.der.hs

Description : generated Typeable, ShATermConvertible instances

Copyright : (c) DFKI Bremen 2008

License : similar to LGPL, see HetCATS/LICENSE.txt

Maintainer : Christian.Maeder@dfki.de

Stability : provisional

Portability : non-portable(overlapping Typeable instances)

Automatic derivation of instances via DrIFT-rule Typeable, ShATermConvertible

for the type(s):

'Propositional.Sign.Sign'

'QBF.Morphism.Morphism'

'QBF.AS_BASIC_QBF.PRED_ITEM'

'QBF.AS_BASIC_QBF.BASIC_SPEC'

'QBF.AS_BASIC_QBF.BASIC_ITEMS'

'QBF.AS_BASIC_QBF.FORMULA'

'QBF.AS_BASIC_QBF.ID'

'QBF.AS_BASIC_QBF.SYMB_ITEMS'

'QBF.AS_BASIC_QBF.SYMB'

'QBF.AS_BASIC_QBF.SYMB_MAP_ITEMS'

'QBF.AS_BASIC_QBF.SYMB_OR_MAP'

'QBF.Symbol.Symbol'

'QBF.Sublogic.PropFormulae'

'QBF.Sublogic.PropSL'

-}

{-

Generated by 'genRules' (automatic rule generation for DrIFT). Don't touch!!

dependency files:

-}

module QBF.ATC_QBF () where

import ATC.AS_Annotation

import ATerm.Lib

import Common.AS_Annotation as AS_Anno

import Common.Doc

import Common.DocUtils

import Common.Id

import Common.Id as Id

import Common.Keywords

import Common.Result

import Data.Maybe (isJust)

import Data.Typeable

import Propositional.Sign

import Propositional.Sign as Sign

import QBF.AS_BASIC_QBF

import QBF.Morphism

import QBF.Morphism as Morphism

import QBF.Sublogic

import QBF.Symbol

import qualified Common.AS_Annotation as AS_Anno

import qualified Common.Id as Id

import qualified Common.Lib.State as State

import qualified Common.Result as Result

import qualified Data.List as List

import qualified Data.Map as Map

import qualified Data.Set as Set

import qualified Propositional.Sign as Sign

import qualified QBF.AS_BASIC_QBF as AS_BASIC

import qualified QBF.Morphism as Morphism

import qualified QBF.Symbol as Symbol

import qualified QBF.Tools as Tools

{-! for Propositional.Sign.Sign derive : Typeable !-}

{-! for QBF.Morphism.Morphism derive : Typeable !-}

{-! for QBF.AS_BASIC_QBF.PRED_ITEM derive : Typeable !-}

{-! for QBF.AS_BASIC_QBF.BASIC_SPEC derive : Typeable !-}

{-! for QBF.AS_BASIC_QBF.BASIC_ITEMS derive : Typeable !-}

{-! for QBF.AS_BASIC_QBF.FORMULA derive : Typeable !-}

{-! for QBF.AS_BASIC_QBF.ID derive : Typeable !-}

{-! for QBF.AS_BASIC_QBF.SYMB_ITEMS derive : Typeable !-}

{-! for QBF.AS_BASIC_QBF.SYMB derive : Typeable !-}

{-! for QBF.AS_BASIC_QBF.SYMB_MAP_ITEMS derive : Typeable !-}

{-! for QBF.AS_BASIC_QBF.SYMB_OR_MAP derive : Typeable !-}

{-! for QBF.Symbol.Symbol derive : Typeable !-}

{-! for QBF.Sublogic.PropFormulae derive : Typeable !-}

{-! for QBF.Sublogic.PropSL derive : Typeable !-}

{-! for Propositional.Sign.Sign derive : ShATermConvertible !-}

{-! for QBF.Morphism.Morphism derive : ShATermConvertible !-}

{-! for QBF.AS_BASIC_QBF.PRED_ITEM derive : ShATermConvertible !-}

{-! for QBF.AS_BASIC_QBF.BASIC_SPEC derive : ShATermConvertible !-}

{-! for QBF.AS_BASIC_QBF.BASIC_ITEMS derive : ShATermConvertible !-}

{-! for QBF.AS_BASIC_QBF.FORMULA derive : ShATermConvertible !-}

{-! for QBF.AS_BASIC_QBF.ID derive : ShATermConvertible !-}

{-! for QBF.AS_BASIC_QBF.SYMB_ITEMS derive : ShATermConvertible !-}

{-! for QBF.AS_BASIC_QBF.SYMB derive : ShATermConvertible !-}

{-! for QBF.AS_BASIC_QBF.SYMB_MAP_ITEMS derive : ShATermConvertible !-}

{-! for QBF.AS_BASIC_QBF.SYMB_OR_MAP derive : ShATermConvertible !-}

{-! for QBF.Symbol.Symbol derive : ShATermConvertible !-}

{-! for QBF.Sublogic.PropFormulae derive : ShATermConvertible !-}

{-! for QBF.Sublogic.PropSL derive : ShATermConvertible !-}