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

Contents

Description

Orphan instances

ShATermLG DGraph Source # 

Methods

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

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

ShATermLG Diag Source # 

Methods

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

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

ShATermLG DiagLinkLab Source # 

Methods

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

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

ShATermLG DiagNodeLab Source # 

Methods

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

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

ShATermLG RTLinkLab Source # 

Methods

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

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

ShATermLG RTLinkType Source # 

Methods

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

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

ShATermLG RTNodeLab Source # 

Methods

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

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

ShATermLG RTNodeType Source # 

Methods

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

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

ShATermLG HistElem Source # 

Methods

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

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

ShATermLG DGChange Source # 

Methods

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

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

ShATermLG AlignSig Source # 

Methods

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

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

ShATermLG GlobalEntry Source # 

Methods

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

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

ShATermLG BranchSig Source # 

Methods

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

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

ShATermLG RefSig Source # 

Methods

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

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

ShATermLG ImpUnitSigOrSig Source # 

Methods

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

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

ShATermLG UnitSig Source # 

Methods

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

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

ShATermLG ExtViewSig Source # 

Methods

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

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

ShATermLG ExtGenSig Source # 

Methods

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

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

ShATermLG GenSig Source # 

Methods

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

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

ShATermLG DGLinkLab Source # 

Methods

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

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

ShATermLG DGLinkType Source # 

Methods

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

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

ShATermLG DGLinkOrigin Source # 

Methods

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

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

ShATermLG Fitted Source # 

Methods

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

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

ShATermLG DGNodeLab Source # 

Methods

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

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

ShATermLG DGNodeInfo Source # 

Methods

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

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

ShATermLG DGOrigin Source # 

Methods

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

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

ShATermLG MaybeRestricted Source # 

Methods

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

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

ShATermLG Renamed Source # 

Methods

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

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

ShATermLG MaybeNode Source # 

Methods

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

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

ShATermLG NodeSig Source # 

Methods

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

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