Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
tests
python
ltlparse.py
Find file
Blame
History
Permalink
introduce formula::is_leaf()
· 974a4238
Alexandre Duret-Lutz
authored
Nov 23, 2017
Fixes
#307
. * spot/tl/formula.hh: Here. * tests/python/ltlparse.py: Test it. * NEWS: Mention it.
974a4238