Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
tgbaalgos
reductgba_sim.hh
Find file
Blame
History
Permalink
* src/tgbaalgos/reductgba_sim_del.cc
· 8a5fd909
Alexandre Duret-Lutz
authored
Jun 06, 2005
(parity_game_graph_delayed::get_relation): Disable for generalized automata, it's wrong.
8a5fd909