-
Alexandre Duret-Lutz authored
* wrap/python/spot.py: Add the unabbreviate() method, and remove unabbrivate_ltl() and get_literal(). * wrap/python/tests/randltl.ipynb: Demonstrate unabbreviate().
9689c4cc
* wrap/python/spot.py: Add the unabbreviate() method, and remove unabbrivate_ltl() and get_literal(). * wrap/python/tests/randltl.ipynb: Demonstrate unabbreviate().