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

Contents

Description

Automatic derivation of instances via DrIFT-rule ShATermLG for the type(s): XGraph XNode XLink

Orphan instances

ShATermLG XLink Source # 

Methods

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

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

ShATermLG XNode Source # 

Methods

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

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

ShATermLG XGraph Source # 

Methods

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

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