spot/tl/hierarchy.hh · d94efe9fe1cf0a72500562acc39073aa0f604bd6 · Spot / Spot

implement is_liveness() and is_liveness_automaton() · d94efe9f

Alexandre Duret-Lutz authored Oct 15, 2018

* spot/twaalgos/strength.cc, spot/twaalgos/strength.hh,
spot/tl/hierarchy.cc, spot/tl/hierarchy.hh: Here.
* bin/ltlfilt.cc (--liveness): New filter.
* NEWS: Mention those.
* tests/core/ltlfilt.test, tests/python/ltlsimple.py: Add test cases.

d94efe9f