• Felix Abecassis's avatar
    Modify the powerset algorithm to keep track of accepting states · e2e138f6
    Felix Abecassis authored and Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz committed
    from the initial automaton.
    
    * src/tgba/tgbaexplicit.cc, src/tgba/tgbaexplicit.hh:
    Added class tgba_explicit_number, a tgba_explicit where states are
    labelled by integers.
    * src/tgbaalgos/powerset.hh, src/tgbaalgos/powerset.cc:
    When building the deterministic automaton, keep track of which states
    were created from an accepting state in the initial automaton.
    The states are added to the new optional parameter (if not 0),
    acc_list.
    Use tgba_explicit_number instead of tgba_explicit_string to build
    the result.
    * src/tgbaalgos/scc.cc (spot): Small fix.
    Print everything on std::cout.
    e2e138f6
To find the state of this project's repository at the time of any of these versions, check out the tags.