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

Parent Directory | Revision Log | 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)

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

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

---

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