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-topsort.sml
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 411 - (download) (annotate)
Fri Sep 3 00:25:03 1999 UTC (20 years, 1 month ago) by monnier
File size: 701 byte(s)
version 110.19
(*
 * This module computes a topological sort of a graph
 *
 * -- Allen
 *)

structure GraphTopsort : GRAPH_TOPOLOGICAL_SORT = 
struct

   structure G = Graph

   (*
    * Topological sort
    *)
   fun topsort (G.GRAPH G) roots = 
   let val visited = Word8Array.array(#capacity G (),0w0)
       val succ    = #succ G
       fun dfs (n, list) =
          if Word8Array.sub(visited,n) <> 0w0 then list
          else (Word8Array.update(visited,n,0w1); dfs'(n,succ n,list))
       and dfs'(x,[],list)    = x::list
         | dfs'(x,n::ns,list) = dfs'(x,ns,dfs(n,list))
       and dfs''([], list)    = list
         | dfs''(n::ns, list) = dfs''(ns,dfs(n,list))
   in
       dfs''(roots,[])
   end

end


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