src/tgbatest/ltl2tgba.cc · dd71e37df230ec9a73eb224d156484888fd3dea9 · Spot / Spot

Jan 30, 2010

Remove the theoretically bogus "containment" option of ltl2tgba_fm. · dd71e37d

Alexandre Duret-Lutz authored Jan 30, 2010

* src/tgbaalgos/ltl2tgba_fm.cc, src/tgbaalgos/ltl2tgba_fm.hh:
Remove the containment option.
* src/tgbafromfile.cc, src/tgbafromfile.hh: Remove the
containment_ member.
* src/tgbatest/ltl2tgba.cc (syntax): Remove -c option for
FM algorithm, use it exclusively for TAA.

dd71e37d

Remove the theoretically bogus "containment" option of ltl2tgba_fm.

Alexandre Duret-Lutz authored Jan 30, 2010

* src/tgbaalgos/ltl2tgba_fm.cc, src/tgbaalgos/ltl2tgba_fm.hh:
Remove the containment option.
* src/tgbafromfile.cc, src/tgbafromfile.hh: Remove the
containment_ member.
* src/tgbatest/ltl2tgba.cc (syntax): Remove -c option for
FM algorithm, use it exclusively for TAA.