• 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
To find the state of this project's repository at the time of any of these versions, check out the tags..
NEWS 47.2 KB