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

* src/tgbaalgos/ltl2tgba_fm.cc (ltl_to_tgba_fm): Remove the

Browse source 
cond_for_true optimization.  It is covered by exprop.
This commit is contained in:
Alexandre Duret-Lutz 2004-02-19 15:47:31 +00:00
parent 3350ff7176
commit 1ca1c39ec5
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
ChangeLog
View file

@ -1,5 +1,8 @@
2004-02-19 Alexandre Duret-Lutz <adl@src.lip6.fr> 2004-02-19 Alexandre Duret-Lutz <adl@src.lip6.fr>
* src/tgbaalgos/ltl2tgba_fm.cc (ltl_to_tgba_fm): Remove the
cond_for_true optimization. It is covered by exprop.
* src/tgba/tgbatba.cc (tgba_tba_proxy_succ_iterator::current_state): * src/tgba/tgbatba.cc (tgba_tba_proxy_succ_iterator::current_state):
Fix reference to Oddoux's thesis. Fix reference to Oddoux's thesis.