Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /sml/trunk/src/MLRISC/graphs/update-graph-info.sml
ViewVC logotype

Annotation of /sml/trunk/src/MLRISC/graphs/update-graph-info.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 651 - (view) (download)

1 : monnier 245 (*
2 : monnier 411 * Update graph info.
3 :     *
4 :     * -- Allen
5 : monnier 245 *)
6 :    
7 :     signature UPDATE_GRAPH_INFO =
8 :     sig
9 :    
10 :     val update : ('n,'e,'g) Graph.graph -> 'g -> ('n,'e,'g) Graph.graph
11 :    
12 :     end
13 :    
14 :     structure UpdateGraphInfo : UPDATE_GRAPH_INFO =
15 :     struct
16 :    
17 :     structure G = Graph
18 :    
19 :     fun update (G.GRAPH G) info =
20 :     G.GRAPH
21 :     { name = #name G,
22 :     graph_info = info,
23 :     new_id = #new_id G,
24 :     add_node = #add_node G,
25 :     add_edge = #add_edge G,
26 :     remove_node = #remove_node G,
27 :     set_in_edges = #set_in_edges G,
28 :     set_out_edges = #set_out_edges G,
29 :     set_entries = #set_exits G,
30 :     set_exits = #set_entries G,
31 :     garbage_collect = #garbage_collect G,
32 :     nodes = #nodes G,
33 :     edges = #edges G,
34 :     order = #order G,
35 :     size = #size G,
36 :     capacity = #capacity G,
37 :     out_edges = #out_edges G,
38 :     in_edges = #in_edges G,
39 :     succ = #succ G,
40 :     pred = #pred G,
41 :     has_edge = #has_edge G,
42 :     has_node = #has_node G,
43 :     node_info = #node_info G,
44 :     entries = #entries G,
45 :     exits = #exits G,
46 :     entry_edges = #entry_edges G,
47 :     exit_edges = #exit_edges G,
48 :     forall_nodes = #forall_nodes G,
49 :     forall_edges = #forall_edges G
50 :     }
51 :     end
52 :    

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0