our $schwartz;
-for (;;) {
+for (my $dropiter = 1; ; $dropiter++) {
# loop from A6(5)
print "defeats graph: $defeats\n";
- print "\nTransitive closure A.6(5)\n";
+ print "\nTransitive closure A.6(5) (iteration $dropiter)\n";
my $tdefeats = $defeats->transitive_closure();
my ($ca,$cb) = @$weakest;
print "a weakest defeat is $ca > $cb\n";
$defeats->delete_edge($ca,$cb);
+ my $label = $showg->get_edge_attribute($ca,$cb,'label');
+ $label .= "\ndropped - weakest in iter.$dropiter";
+ $showg->set_edge_attribute($ca,$cb,'label',$label);
+ $showg->set_edge_attribute($ca,$cb,'style','dotted');
+ $showg->set_edge_attribute($ca,$cb,'graphviz',{constraint=>0});
}
print "\nDefeats within the Schwartz set, go round again\n";