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

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

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

revision 1598, Mon Aug 9 16:16:40 2004 UTC revision 1599, Mon Aug 9 16:22:40 2004 UTC
# Line 27  Line 27 
27             else ()             else ()
28         end         end
29     in  A.update(dist,s,Num.zero);     in  A.update(dist,s,Num.zero);
30           Q.decreaseWeight(Q,s);
31         (while true do         (while true do
32            app relax (#out_edges G (Q.deleteMin Q))            app relax (#out_edges G (Q.deleteMin Q))
33         ) handle Q.EmptyPriorityQueue => ();         ) handle Q.EmptyPriorityQueue => ();

Legend:
Removed from v.1598  
changed lines
  Added in v.1599

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