| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Image.Dot
- data NamingContext = Ctx {
- getNodeTypeName :: NodeId -> String
- getEdgeTypeName :: EdgeId -> String
- makeNamingContext :: [(String, String)] -> NamingContext
- printDotGraph :: String -> String -> [String] -> [Doc] -> [Doc] -> [Doc] -> Doc
- printDigraph :: String -> [String] -> [Doc] -> [Doc] -> [Doc] -> Doc
- printSubgraph :: String -> [String] -> [Doc] -> [Doc] -> [Doc] -> Doc
- printStateSpace :: StateSpace (TypedGraphMorphism a b) -> Doc
- printTypedGraph :: NamingContext -> String -> TypedGraph a b -> Doc
- printSubTypedGraph :: NamingContext -> String -> TypedGraph a b -> Doc
- printTypedGraphMorphism :: NamingContext -> String -> TypedGraphMorphism a b -> Doc
- printGraphRule :: NamingContext -> String -> GraphRule a b -> Doc
- printSubGraphRule :: NamingContext -> String -> GraphRule a b -> Doc
- printSndOrderRule :: NamingContext -> String -> SndOrderRule a b -> Doc
- printNode :: Doc -> [Doc] -> Doc
- printEdge :: Doc -> Doc -> [Doc] -> Doc
- nodeSubId :: String -> NodeId -> Doc
- nodeId :: NodeId -> Doc
- edgeSubId :: String -> EdgeId -> Doc
- edgeId :: EdgeId -> Doc
Documentation
data NamingContext Source #
Constructors
| Ctx | |
Fields
| |
makeNamingContext :: [(String, String)] -> NamingContext Source #
printDigraph :: String -> [String] -> [Doc] -> [Doc] -> [Doc] -> Doc Source #
printSubgraph :: String -> [String] -> [Doc] -> [Doc] -> [Doc] -> Doc Source #
printStateSpace :: StateSpace (TypedGraphMorphism a b) -> Doc Source #
Create a dotfile representation of the given state space, labeling states with their IDs
printTypedGraph :: NamingContext -> String -> TypedGraph a b -> Doc Source #
Create a dotfile representation of the given typed graph, labeling nodes with their types
printSubTypedGraph :: NamingContext -> String -> TypedGraph a b -> Doc Source #
printTypedGraphMorphism :: NamingContext -> String -> TypedGraphMorphism a b -> Doc Source #
Create a dotfile representation of the given typed graph morphism
printGraphRule :: NamingContext -> String -> GraphRule a b -> Doc Source #
Create a dotfile representation of the given graph rule
printSubGraphRule :: NamingContext -> String -> GraphRule a b -> Doc Source #
printSndOrderRule :: NamingContext -> String -> SndOrderRule a b -> Doc Source #
Create a dotfile representation of the given snd order rule