Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
tgba
tgbagraph.hh
Find file
Blame
History
Permalink
graph: Add a is_dead_transition method.
· d28e7f9c
Alexandre Duret-Lutz
authored
Aug 20, 2014
* src/graph/graph.hh, src/tgba/tgbagraph.hh (is_dead_transition): New method.
d28e7f9c