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
|
(*
* This module ties together all the visualization backends.
*
* -- Allen
*)
structure AllDisplays : GRAPH_DISPLAY =
struct
val viewer = MLRiscControl.getString "viewer"
fun visualize print =
(case !viewer of
"daVinci" => daVinci.visualize print
| "vcg" => VCG.visualize print
| "dot" => Dot.visualize print
| _ => daVinci.visualize print
)
fun program() =
(case !viewer of
"daVinci" => daVinci.program()
| "vcg" => VCG.program()
| "dot" => Dot.program()
| _ => daVinci.program()
)
fun suffix() =
(case !viewer of
"daVinci" => daVinci.suffix()
| "vcg" => VCG.suffix()
| "dot" => Dot.suffix()
| _ => daVinci.suffix()
)
end
|
