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

Contents

Description

Orphan instances

ShATermLG RELATION_REF Source # 

Methods

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

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

ShATermLG CORRESPONDENCE Source # 

Methods

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

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

ShATermLG LABELED_ONTO_OR_INTPR_REF Source # 

Methods

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

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

ShATermLG Logic_name Source # 

Methods

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

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

ShATermLG Logic_code Source # 

Methods

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

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

ShATermLG LogicDescr Source # 

Methods

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

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

ShATermLG FIT_ARG Source # 

Methods

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

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

ShATermLG G_hiding Source # 

Methods

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

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

ShATermLG G_mapping Source # 

Methods

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

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

ShATermLG RESTRICTION Source # 

Methods

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

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

ShATermLG RENAMING Source # 

Methods

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

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

ShATermLG MINIMIZATION Source # 

Methods

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

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

ShATermLG APPROXIMATION Source # 

Methods

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

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

ShATermLG EXTRACTION Source # 

Methods

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

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

ShATermLG FILTERING Source # 

Methods

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

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

ShATermLG Network Source # 

Methods

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

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

ShATermLG SPEC Source # 

Methods

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

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