Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
wrap
python
spot.i
Find file
Blame
History
Permalink
* wrap/python/spot.i: Declare spot::tgba::get_init_state,
· 01cc802c
Alexandre Duret-Lutz
authored
Aug 04, 2003
spot::tgba::succ_iter, and spot::tgba_succ_iterator::current_state as constructors.
01cc802c