Hets - the Heterogeneous Tool Set

Copyright	(c) C. Maeder, Uni Bremen 2002-2006
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	non-portable(DevGraph)
Safe Haskell	None

Static.PrintDevGraph

Description

pretty printing (parts of) a LibEnv

Synopsis

Documentation

prettyLibEnv :: LibEnv -> Doc

printTh :: GlobalAnnos -> IRI -> G_theory -> Doc

prettyHistElem :: HistElem -> Doc

prettyHistory :: ProofHistory -> Doc

prettyGr :: Gr DGNodeLab DGLinkLab -> Doc

prettyLEdge :: LEdge DGLinkLab -> Doc

print short edge information

showLEdge :: LEdge DGLinkLab -> String

only shows the edge and node ids

dgOriginHeader :: DGOrigin -> String

dgOriginSpec :: DGOrigin -> Maybe IRI

showXPath :: [XPathPart] -> String

dgLinkOriginHeader :: DGLinkOrigin -> String

dgLinkOriginSpec :: DGLinkOrigin -> Maybe IRI

dgRuleHeader :: DGRule -> String

dgRuleEdges :: DGRule -> [EdgeId]