• Alexandre Duret-Lutz's avatar
    Add count_nondet_states(aut) and is_deterministic(aut). · 04b5e370
    Alexandre Duret-Lutz authored
    * 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
Makefile.am 2.44 KB