From 1ac0b086954d5bb7537b13a64f3821fefbcdd81d Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 22 Aug 2003 12:41:36 +0000 Subject: [PATCH] * wrap/python/cgi/ltl2tgba.in: Fix display of relations for tgba_bdd_concrete automata. --- ChangeLog | 3 +++ wrap/python/cgi/ltl2tgba.in | 4 ++-- 2 files changed, 5 insertions(+), 2 deletions(-) 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: