alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

cgi: Display a message for weak TGBA.

Browse source 
* wrap/python/ajax/spotcgi.in: If a weak BA is output as a TGBA, add a
hint that this is pointless.
This commit is contained in:
Alexandre Duret-Lutz 2015-08-07 10:49:32 +02:00
parent 7efe8c1c6c
commit 33afd9f0e2
1 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
wrap/python/ajax/spotcgi.in
View file

@ -310,6 +310,11 @@ def print_stats(automaton, detinfo = False, ta = False):
stats = spot.stats_reachable(automaton) stats = spot.stats_reachable(automaton)
detinfo = False detinfo = False
else: else:
if (buchi_type == 't' and automaton.is_inherently_weak() and
automaton.acc().is_buchi()):
unbufprint("Note: this is a weak automaton, using transition-based "
"or generalized acceptance does not bring any benefit."
"</br>")
stats = spot.sub_stats_reachable(automaton) stats = spot.sub_stats_reachable(automaton)
unbufprint("<p>%d state" % stats.states) unbufprint("<p>%d state" % stats.states)
if stats.states > 1: if stats.states > 1: