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

SCM Repository

[smlnj] Diff of /MLRISC/trunk/graphs/graph-dfs.sig
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 245, Sat Apr 17 18:47:12 1999 UTC revision 411, Fri Sep 3 00:25:03 1999 UTC
# Line 1  Line 1 
1    (*
2     * Some simple routines for performing depth first search.
3     *
4     * -- Allen
5     *)
6    
7  signature GRAPH_DEPTH_FIRST_SEARCH =  signature GRAPH_DEPTH_FIRST_SEARCH =
8  sig  sig
9    
10     (* depth first search *)     (* depth first search *)
11    
12     val dfs : (Graph.node_id -> unit) ->     val dfs : ('n,'e,'g) Graph.graph  ->
13                 (Graph.node_id -> unit) ->
14               ('e Graph.edge -> unit) ->               ('e Graph.edge -> unit) ->
              ('n,'e,'g) Graph.graph  ->  
15               Graph.node_id list -> unit               Graph.node_id list -> unit
16    
17     val dfs_fold : { node_f     : Graph.node_id * 'a -> 'b,     val dfsfold : ('n,'e,'g) Graph.graph  ->
18                      node_unit  : 'b,                   (Graph.node_id * 'a -> 'a) ->
19                      edge_f     : 'e Graph.edge * 'b * 'a -> 'a,                   ('e Graph.edge * 'b -> 'b) ->
20                      edge_unit  : 'a,                   Graph.node_id list -> 'a * 'b -> 'a * 'b
21                      graph_f    : 'b * 'c -> 'c,     val dfsnum  : ('n,'e,'g) Graph.graph ->
22                      graph_unit : 'c                   Graph.node_id list ->
23                    } -> ('n,'e,'g) Graph.graph -> Graph.node_id list -> 'c                   { dfsnum  : int Array.array,  (* dfs numbering *)
24                       compnum : int Array.array   (* completion time *)
25                     }
26    
27        (* preorder/postorder numbering *)        (* preorder/postorder numbering *)
28     val preorder_numbering  : ('n,'e,'g) Graph.graph -> int -> int Array.array     val preorder_numbering  : ('n,'e,'g) Graph.graph -> int -> int Array.array
# Line 22  Line 30 
30    
31  end  end
32    
 (*  
  * $Log$  
  *)  

Legend:
Removed from v.245  
changed lines
  Added in v.411

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