last if $defcho;
}
if ($defcho) {
- print "guessed default option was: $choices[$defcho->{Index}]\n";
+ print "guessed default option: $choices[$defcho->{Index}]\n";
} else {
print "could not guess default option, assuming there is none\n";
}
my $tdefeats = $defeats->transitive_closure();
+ # this makes the debugging output prettier
+ foreach my $ch (@choices) {
+ $tdefeats->delete_edge($ch,$ch);
+ }
print "closure graph: $tdefeats\n";
print "\nSchwartz set A.6(6)\n";