-
Alexandre GBAGUIDI AISSE authored
* spot/tl/hierarchy.cc: Rewrite is_recurrence(), is_persistence() * spot/tl/hierarchy.hh: Fix typo. * tests/core/hierarchy.test: Add tests.
7e0fc448
* spot/tl/hierarchy.cc: Rewrite is_recurrence(), is_persistence() * spot/tl/hierarchy.hh: Fix typo. * tests/core/hierarchy.test: Add tests.