rewrite minimize_dfa using the twa_graph interface
Currently the function already takes a twa_graph
as input, but for historical reason it still uses the slow twa
interface.
Currently the function already takes a twa_graph
as input, but for historical reason it still uses the slow twa
interface.