Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
tgbaalgos
are_isomorphic.cc
Find file
Blame
History
Permalink
are_isomorphic: do not try to map initial state to a non-initial state
· d033633b
Thibaud Michaud
authored
Dec 09, 2014
and
Alexandre Duret-Lutz
committed
Dec 10, 2014
* src/tgbaalgos/are_isomorphic.cc: Here.
d033633b