• Alexandre Duret-Lutz's avatar
    Add support for computing operator nesting depth · 62d1e021
    Alexandre Duret-Lutz authored
    * spot/tl/hierarchy.hh, spot/tl/hierarchy.cc (nesting_depth): New
    * python/spot/__init__.py: Also make it a method of formula in Python
    * bin/common_output.cc, bin/common_output.hh: Implement
    * NEWS: Mention it.
    * tests/core/format.test, tests/python/formulas.ipynb: Test it.
To find the state of this project's repository at the time of any of these versions, check out the tags.