Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Spot
Spot
Repository
ea9a96237b4367e9ccb749349d4b09f4bc5db21b
Switch branch/tag
spot
wrap
python
spot.i
Find file
Blame
History
Permalink
* wrap/python/spot.i: Declare spot::ltl_to_tgba as a constructor.
· ea9a9623
Alexandre Duret-Lutz
authored
Aug 04, 2003
* wrap/python/tests/ltl2tgba.py: Do not force `thisown=1' on tgba objects.
ea9a9623