src/tgbatest/ltl2tgba.cc · 04b5e37055153b37a6f495d223c65b15194a9b68 · Spot / Spot

Add count_nondet_states(aut) and is_deterministic(aut). · 04b5e370

Alexandre Duret-Lutz authored Sep 11, 2012

* src/tgbaalgos/isdet.cc, src/tgbaalgos/isdet.hh: New files.
* src/tgbaalgos/Makefile.am: Add them.
* wrap/python/spot.i: Wrap them.
* wrap/python/ajax/spot.in: Display count of nondeterministic
states.
* src/tgbatest/ltl2tgba.cc (-kt): Likewise.
* NEWS: Upadte.

04b5e370