Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
tgba
tgba.hh
Find file
Blame
History
Permalink
move set_generalized_buchi and set_buchi to tgba
· d2f11e40
Alexandre Duret-Lutz
authored
Mar 18, 2015
* src/tgba/tgbagraph.hh (set_generalized_buchi, set_buchi): Move... * src/tgba/tgba.hh: ... here.
d2f11e40