• 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
    function.
    * python/spot/__init__.py: Also make it a method of formula in Python
    * bin/common_output.cc, bin/common_output.hh: Implement
    --stats=%[OP]n.
    * NEWS: Mention it.
    * tests/core/format.test, tests/python/formulas.ipynb: Test it.
    62d1e021
To find the state of this project's repository at the time of any of these versions, check out the tags.