diff --git a/ChangeLog b/ChangeLog index 5541d258a..c80bf7f94 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,8 @@ 2003-08-22 Alexandre Duret-Lutz + * wrap/python/cgi/ltl2tgba.in: Fix display of relations for + tgba_bdd_concrete automata. + Fix computation of product acceptance conditions, when the two operands share some acceptance conditions. * src/tgba/tgbaproduct.hh (tgba_product::left_acc_complement_, diff --git a/wrap/python/cgi/ltl2tgba.in b/wrap/python/cgi/ltl2tgba.in index b2caaf75a..48879b60f 100644 --- a/wrap/python/cgi/ltl2tgba.in +++ b/wrap/python/cgi/ltl2tgba.in @@ -216,7 +216,7 @@ if show_dictionnay: automaton.get_dict().dump(spot.get_cout()) print '' -if (type(automaton) == spot.tgba_bdd_concrete +if (type(automaton) == spot.tgba_bdd_concretePtr and (show_relation_dot or show_relation_set or show_relation_gif)): print '

Transition relation

' if show_relation_dot: @@ -236,7 +236,7 @@ if (type(automaton) == spot.tgba_bdd_concrete imgprefix + '-b.gif', imgprefix + '-b.png') print '' -if (type(automaton) == spot.tgba_bdd_concrete +if (type(automaton) == spot.tgba_bdd_concretePtr and (show_acceptance_dot or show_acceptance_set or show_acceptance_gif)): print '

Acceptance relation

' if show_acceptance_dot: