• Alexandre Duret-Lutz's avatar
    Introduce scc_filter_states(). · 6b5b002f
    Alexandre Duret-Lutz authored
    The main motivation is the upcoming patch that introduces
    simulation_sba() and requires this function.
    
    * src/tgbaalgos/sccfilter.hh, src/tgbaalgos/sccfilter.cc: Implement it.
    * src/tgbaalgos/postproc.cc: Use it for monitors, because we do not
    care about acceptance conditions.
    * NEWS: Mention it.
    6b5b002f
sccfilter.hh 3.32 KB