The unified diff between revisions [dd4e718c..] and [f8cbc015..] is displayed below. It can also be downloaded as a raw diff.
#
#
# patch "agraph.ml"
# from [8c993476234f16a35bc35ba58fd86388868351aa]
# to [5823b36800b8a29b8a9b1105ee4945620526da33]
#
============================================================
--- agraph.ml 8c993476234f16a35bc35ba58fd86388868351aa
+++ agraph.ml 5823b36800b8a29b8a9b1105ee4945620526da33
@@ -105,6 +105,8 @@ let dot_format params agraph =
(fun (s, t) kind ->
!+ " %S -> %S" s t ;
if kind = SPANNING then !+ " [minlen = 5]" ;
+ if kind = BRANCHING_NEIGH && node_kind agraph t = NEIGHBOUR_OUT
+ then !+ " [weight = 4]" ;
if IdSet.mem t heads then !+ " [weight = 2]" ;
!+ " ;\n")
agraph.ancestry