-
Alexandre Duret-Lutz authored
New, take the automaton to work on, and store it ... (emptiness_check::aut_): ... in this new attribute. (emptiness_check::tgba_emptiness_check): Rename as ... (emptiness_check::check): ... this, and remove the automata argument. (emptiness_check::counter_example, emptiness_check::print_result, emptiness_check::remove_component, emptiness_check::accepting_path, emptiness_check::complete_cycle): Remove the automata argument. * src/tgbaalgos/emptinesscheck.cc, src/tgbatest/ltl2tgba.cc, iface/gspn/ltlgspn.cc: Adjust.
90099e47
To find the state of this project's repository at the time of any of these versions, check out the tags.