• Alexandre Duret-Lutz's avatar
    simulation: simplify using tgba_digraph more · bb2ce45b
    Alexandre Duret-Lutz authored
    * src/graph/graph.hh (new_states): New.
    * src/tgba/tgbagraph.hh (graph_t): Make it public.
    * src/tgbaalgos/simulation.cc: Get read of the acc_compl_automaton
    class and replace it by a loop over all states of a tgba_digraph.
    Remove some useless data structures.
    bb2ce45b
simulation.cc 44.2 KB