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

ltl2tgba.html: Draw a run by default, don't print it.

Browse source 
* wrap/python/ajax/ltl2tgba.html, wrap/python/ajax/spot.in: Here.
This commit is contained in:
Alexandre Duret-Lutz 2012-07-18 15:28:36 +02:00
parent ebf48d4fa4
commit 173e100a41
2 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

4
wrap/python/ajax/ltl2tgba.html
View file

@ -522,11 +522,11 @@ an identifier: <span class="formula">aUb</span> is an atomic proposition, unlike
</label><br> </label><br>
then<br> then<br>
<label class="rtip" title="Produce a textual description of run accepted by the automaton."> <label class="rtip" title="Produce a textual description of run accepted by the automaton.">
<INPUT type="radio" name="rf" value="p" checked> <INPUT type="radio" name="rf" value="p">
print an accepting run print an accepting run
</label><br> </label><br>
<label class="rtip" title="Use color to show an accepting run in the automaton."> <label class="rtip" title="Use color to show an accepting run in the automaton.">
<INPUT type="radio" name="rf" value="d"> <INPUT type="radio" name="rf" value="d" checked>
draw an accepting run on top of the automaton draw an accepting run on top of the automaton
</label><br> </label><br>
</div> </div>

2
wrap/python/ajax/spot.in
View file

@ -693,7 +693,7 @@ if output_type == 'r':
print_acc_run = False print_acc_run = False
draw_acc_run = False draw_acc_run = False
s = form.getfirst('rf', 'p') s = form.getfirst('rf', 'd')
if s == 'p': if s == 'p':
print_acc_run = True print_acc_run = True
elif s == 'd': elif s == 'd':