Skip to content
  • Alexandre Duret-Lutz's avatar
    Use the count_state() function instead of stats_reachable(). · f00d97b4
    Alexandre Duret-Lutz authored
    * src/tgbaalgos/postproc.cc: Move the count_state() function...
    * src/priv/countstates.cc, src/priv/countstates.hh: ... in these
    new files.
    * src/priv/Makefile.am: Add them.
    * src/saba/sabacomplementtgba.cc, src/tgba/tgbakvcomplement.cc,
    src/tgbaalgos/minimize.cc: Use count_states() instead of
    stats_reachable().
    f00d97b4