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

SCM Repository

[smlnj] View of /sml/branches/SMLNJ/src/MLRISC/graphs/graph-dfs.sig
ViewVC logotype

View of /sml/branches/SMLNJ/src/MLRISC/graphs/graph-dfs.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 411 - (download) (as text) (annotate)
Fri Sep 3 00:25:03 1999 UTC (20 years, 1 month ago) by monnier
File size: 957 byte(s)
version 110.19
(*
 * Some simple routines for performing depth first search.
 * 
 * -- Allen
 *)

signature GRAPH_DEPTH_FIRST_SEARCH = 
sig

   (* depth first search *)

   val dfs : ('n,'e,'g) Graph.graph  -> 
             (Graph.node_id -> unit) ->
             ('e Graph.edge -> unit) -> 
             Graph.node_id list -> unit

   val dfsfold : ('n,'e,'g) Graph.graph  -> 
                 (Graph.node_id * 'a -> 'a) ->
                 ('e Graph.edge * 'b -> 'b) -> 
                 Graph.node_id list -> 'a * 'b -> 'a * 'b
   val dfsnum  : ('n,'e,'g) Graph.graph ->
                 Graph.node_id list ->
                 { dfsnum  : int Array.array,  (* dfs numbering *)
                   compnum : int Array.array   (* completion time *)
                 }

      (* preorder/postorder numbering *)
   val preorder_numbering  : ('n,'e,'g) Graph.graph -> int -> int Array.array
   val postorder_numbering : ('n,'e,'g) Graph.graph -> int -> int Array.array

end


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