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 /MLRISC/trunk/graphs/graph-dfs.sig
ViewVC logotype

Annotation of /MLRISC/trunk/graphs/graph-dfs.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 245 - (view) (download) (as text)
Original Path: sml/branches/SMLNJ/src/MLRISC/graphs/graph-dfs.sig

1 : monnier 245 signature GRAPH_DEPTH_FIRST_SEARCH =
2 :     sig
3 :    
4 :     (* depth first search *)
5 :    
6 :     val dfs : (Graph.node_id -> unit) ->
7 :     ('e Graph.edge -> unit) ->
8 :     ('n,'e,'g) Graph.graph ->
9 :     Graph.node_id list -> unit
10 :    
11 :     val dfs_fold : { node_f : Graph.node_id * 'a -> 'b,
12 :     node_unit : 'b,
13 :     edge_f : 'e Graph.edge * 'b * 'a -> 'a,
14 :     edge_unit : 'a,
15 :     graph_f : 'b * 'c -> 'c,
16 :     graph_unit : 'c
17 :     } -> ('n,'e,'g) Graph.graph -> Graph.node_id list -> 'c
18 :    
19 :     (* preorder/postorder numbering *)
20 :     val preorder_numbering : ('n,'e,'g) Graph.graph -> int -> int Array.array
21 :     val postorder_numbering : ('n,'e,'g) Graph.graph -> int -> int Array.array
22 :    
23 :     end
24 :    
25 :     (*
26 :     * $Log$
27 :     *)

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