• Alexandre Duret-Lutz's avatar
    Keep track of conditions in SCC, and add a more verbose dump. · 07ead613
    Alexandre Duret-Lutz authored
    * src/tgbaalgos/scc.hh (scc_map::scc_of_state,
    scc_map::cond_set_of, scc_map::acc_set_of, scc_map::states_of):
    New functions.
    (scc_map::scc::conds): New attribute.
    (dump_scc_dot): Take an optional VERBOSE argument.
    * src/tgbaalgos/scc.cc (scc_map::scc_of_state,
    scc_map::cond_set_of, scc_map::acc_set_of, scc_map::states_of):
    Implement these new functions.
    (dump_scc_dot): Display number of states, conditions and
    acceptance conditions, with VERBOSE is set.
    (build_map): Fill the new scc_map::scc::cond field.
    07ead613
ltl2tgba.cc 26.5 KB