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

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

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

revision 1613, Wed Aug 11 03:35:58 2004 UTC revision 1614, Mon Aug 16 01:21:56 2004 UTC
# Line 45  Line 45 
45    
46         fun set_edges(i,edges) =         fun set_edges(i,edges) =
47         let fun rmv([],L) = L         let fun rmv([],L) = L
48               | rmv((e as (k,_))::es,L) = rmv(es,if k = i then es else e::L)               | rmv((e as (k,_))::es,L) = rmv(es,if k = i then L else e::L)
49             fun add(i,j,e) =             fun add(i,j,e) =
50                 if i <> j then A.update(adj,j,(i,e)::A.sub(adj,j)) else ()                 if i <> j then A.update(adj,j,(i,e)::A.sub(adj,j)) else ()
51             val old_edges = A.sub(adj,i)             val old_edges = A.sub(adj,i)

Legend:
Removed from v.1613  
changed lines
  Added in v.1614

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