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

ATC.DgUtils

Contents

Description

Orphan instances

ShATermLG RTLeaves Source # 

Methods

toShATermLG :: ATermTable -> RTLeaves -> IO (ATermTable, Int) Source #

fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, RTLeaves) Source #

ShATermLG RTPointer Source # 

Methods

toShATermLG :: ATermTable -> RTPointer -> IO (ATermTable, Int) Source #

fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, RTPointer) Source #

ShATermLG ThmTypes Source # 

Methods

toShATermLG :: ATermTable -> ThmTypes -> IO (ATermTable, Int) Source #

fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, ThmTypes) Source #

ShATermLG DGEdgeTypeModInc Source # 

Methods

toShATermLG :: ATermTable -> DGEdgeTypeModInc -> IO (ATermTable, Int) Source #

fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, DGEdgeTypeModInc) Source #

ShATermLG DGEdgeType Source # 

Methods

toShATermLG :: ATermTable -> DGEdgeType -> IO (ATermTable, Int) Source #

fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, DGEdgeType) Source #

ShATermLG ConsStatus Source # 

Methods

toShATermLG :: ATermTable -> ConsStatus -> IO (ATermTable, Int) Source #

fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, ConsStatus) Source #

ShATermLG FreeOrCofree Source # 

Methods

toShATermLG :: ATermTable -> FreeOrCofree -> IO (ATermTable, Int) Source #

fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, FreeOrCofree) Source #

ShATermLG LinkKind Source # 

Methods

toShATermLG :: ATermTable -> LinkKind -> IO (ATermTable, Int) Source #

fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, LinkKind) Source #

ShATermLG Scope Source # 

Methods

toShATermLG :: ATermTable -> Scope -> IO (ATermTable, Int) Source #

fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, Scope) Source #

ShATermLG ThmLinkStatus Source # 

Methods

toShATermLG :: ATermTable -> ThmLinkStatus -> IO (ATermTable, Int) Source #

fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, ThmLinkStatus) Source #

ShATermLG DGRule Source # 

Methods

toShATermLG :: ATermTable -> DGRule -> IO (ATermTable, Int) Source #

fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, DGRule) Source #

ShATermLG ProofBasis Source # 

Methods

toShATermLG :: ATermTable -> ProofBasis -> IO (ATermTable, Int) Source #

fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, ProofBasis) Source #

ShATermLG EdgeId Source # 

Methods

toShATermLG :: ATermTable -> EdgeId -> IO (ATermTable, Int) Source #

fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, EdgeId) Source #

ShATermLG NodeMod Source # 

Methods

toShATermLG :: ATermTable -> NodeMod -> IO (ATermTable, Int) Source #

fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, NodeMod) Source #

ShATermLG DGNodeType Source # 

Methods

toShATermLG :: ATermTable -> DGNodeType -> IO (ATermTable, Int) Source #

fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, DGNodeType) Source #

ShATermLG NodeName Source # 

Methods

toShATermLG :: ATermTable -> NodeName -> IO (ATermTable, Int) Source #

fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, NodeName) Source #

ShATermLG XPathPart Source # 

Methods

toShATermLG :: ATermTable -> XPathPart -> IO (ATermTable, Int) Source #

fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, XPathPart) Source #