• Alexandre Duret-Lutz's avatar
    * src/tgbaalgos/emptinesscheck.hh (emptiness_check::emptiness_check): · 90099e47
    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
ltl2tgba.cc 7.25 KB