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 /sml/trunk/src/MLRISC/graphs/kruskal.sml
ViewVC logotype

Diff of /sml/trunk/src/MLRISC/graphs/kruskal.sml

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

revision 1259, Sat Jul 13 01:19:00 2002 UTC revision 1260, Mon Jul 15 17:27:34 2002 UTC
# Line 22  Line 22 
22           | make_tree(M,u) =           | make_tree(M,u) =
23              let val e as (i,j,_) = Q.deleteMin Q              let val e as (i,j,_) = Q.deleteMin Q
24              in  if P.== P (i,j) then              in  if P.== P (i,j) then
25                       make_tree(M,u)
26                    else
27                     (P.union' P (i,j); make_tree(M-1,add_edge(e,u)))                     (P.union' P (i,j); make_tree(M-1,add_edge(e,u)))
                 else make_tree(M,u)  
28              end              end
29     in     in
30         make_tree(#order G' (),u)         make_tree(#order G' (),u)

Removed from v.1259  
changed lines
  Added in v.1260

ViewVC Help
Powered by ViewVC 1.0.0