From e5c24b79ac36b180c27dce8c0ee780c08a63f979 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Thu, 6 Feb 2014 00:55:22 +0000
Subject: [PATCH] graphviz: label the edges

---
 compute | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/compute b/compute
index 4021eb7..f7f3f67 100755
--- a/compute
+++ b/compute
@@ -304,6 +304,11 @@ foreach my $ia (chremain()) {
 	print "defeat: $choices[$ia] beats $choices[$ib]",
 	    " ($vab > $vba = +$diff)\n";
 	$defeats->add_edge($choices[$ia],$choices[$ib]);
+	my $label = "$diff($vab:$vba)";
+	$label .= "\n". join ' ', @{ $vab[$ia][$ib] };
+	$label .= "\n/". join ' ', @{ $vab[$ib][$ia] };
+	$defeats->set_edge_attribute($choices[$ia],$choices[$ib],
+				     label => $label);
     }
 }
 
-- 
2.30.2