Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
tgba
tgbaexplicit.hh
Find file
Blame
History
Permalink
Modify is_accepting sba's method to run in constant time.
· 9cfc4082
Pierre PARUTTO
authored
Apr 05, 2012
and
Alexandre Duret-Lutz
committed
Apr 12, 2012
* src/tgba/tgbaexplicit.hh: modify is_accepting method
9cfc4082