Skip to content
Blame Permalink
  • Alexandre Duret-Lutz's avatar
    6b5b002f
    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
    Introduce scc_filter_states().
    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.
To find the state of this project's repository at the time of any of these versions, check out the tags.