src/bin/ltl2tgba.cc · 26ad32d5614962b1c988e5c03ee61a61bddd260e · Spot / Spot

Sep 19, 2012

Alexandre Duret-Lutz authored Sep 19, 2012

* src/bin/ltl2tgba.cc (--stats): New option.
* src/tgbaalgos/stats.cc, src/tgbaalgos/stats.hh (stat_printer): New
class.

26ad32d5

Alexandre Duret-Lutz authored Sep 19, 2012

* src/bin/ltl2tgba.cc (--stats): New option.
* src/tgbaalgos/stats.cc, src/tgbaalgos/stats.hh (stat_printer): New
class.