Skip to content
  • Alexandre Duret-Lutz's avatar
    Fix acceptance check in scc_map: trivial SCCs are not accepting. · 99981153
    Alexandre Duret-Lutz authored
    Also compute useless SCCs.
    
    * src/tgbaalgos/scc.cc (scc_map::scc::trivial): New field.
    (scc_stats::useless_scc_map): New field.
    * src/tgbaalgos/scc.cc (scc_map::build_map): Mark SCCs that are
    not trivial.
    (scc_map::accepting): Always return false for trivial SCC.
    (build_scc_stats): Fill in useless_scc_map.
    99981153
To find the state of this project's repository at the time of any of these versions, check out the tags.