-
Alexandre Duret-Lutz authored* src/graph/graph.hh, src/tgba/tgbagraph.hh (is_dead_transition): New method.
Alexandre Duret-Lutz authored* src/graph/graph.hh, src/tgba/tgbagraph.hh (is_dead_transition): New method.
Loading
* src/graph/graph.hh, src/tgba/tgbagraph.hh (is_dead_transition): New method.
* src/graph/graph.hh, src/tgba/tgbagraph.hh (is_dead_transition): New method.