1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
(*
* Print a graph
*
* -- Allen
*)
signature PRINT_GRAPH =
sig
val toString : ('n,'e,'g) Graph.graph -> string
end
structure PrintGraph : PRINT_GRAPH =
struct
structure G = Graph
fun toString (G.GRAPH G) =
let fun showEdges es =
String.concat(
map (fn (i,j,_) => Int.toString i^" -> "^Int.toString j^"\n") es)
fun showNodes ns =
String.concat(map (fn n => Int.toString n^" ") ns)^"\n"
in
#name G ^ "\n" ^
"nodes: "^showNodes(map #1 (#nodes G ()))^
"edges:\n"^showEdges(#edges G ())^
"entry edges:\n"^
showEdges(List.concat(map (#entry_edges G o #1) (#nodes G ())))^
"exit edges:\n"^
showEdges(List.concat(map (#exit_edges G o #1) (#nodes G ())))^
"entries: "^showNodes(#entries G ())^
"exits: "^showNodes(#exits G ())
end
end
|
