From 28288e0478a7f779d087dd9b3e6d122c877197fc Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 22 Apr 2004 10:13:10 +0000 Subject: [PATCH] * wrap/python/cgi/ltl2tgba.in: Print degeneralized statistics when show_never_claim. Change the title to LTL-to-TGBA. --- ChangeLog | 5 +++++ wrap/python/cgi/ltl2tgba.in | 13 ++++++------- 2 files changed, 11 insertions(+), 7 deletions(-) diff --git a/ChangeLog b/ChangeLog index e4e3d9d3d..1ca1fb7a0 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2004-04-22 Alexandre Duret-Lutz + + * wrap/python/cgi/ltl2tgba.in: Print degeneralized statistics + when show_never_claim. Change the title to LTL-to-TGBA. + 2004-04-21 Alexandre Duret-Lutz * wrap/python/cgi/ltl2tgba.in (print_footer): Make ltl2tgba.py's diff --git a/wrap/python/cgi/ltl2tgba.in b/wrap/python/cgi/ltl2tgba.in index 83c6a9c2c..85e00a9ab 100644 --- a/wrap/python/cgi/ltl2tgba.in +++ b/wrap/python/cgi/ltl2tgba.in @@ -184,12 +184,12 @@ def render_bdd(basename, dictionary, bdd): print """ -Spot's on-line LTL-to-Buchi translator +Spot's on-line LTL-to-TGBA translator %s

Spot's on-line -LTL-to-Büchi translator

""" % extra_header +LTL-to-TGBA translator""" % extra_header formula = form.getfirst('formula', '') @@ -423,15 +423,14 @@ if show_automaton_png: render_automaton(imgprefix + '-a', automaton, dont_run_dot) if show_degen_png or show_never_claim: + print '

Degeneralized automaton

' degen = spot.tgba_tba_proxy(automaton) + dont_run_dot = print_stats(degen) + if show_degen_png: + render_automaton(imgprefix + '-d', degen, dont_run_dot) else: degen = 0 -if show_degen_png: - print '

Degeneralized automaton

' - dont_run_dot = print_stats(degen) - render_automaton(imgprefix + '-d', degen, dont_run_dot) - if show_never_claim: print '

Never claim (for degeneralized automaton)

' print '
'