• Alexandre Duret-Lutz's avatar
    tl: mp_class() and --format=%[vw]h · 7d9ce0d6
    Alexandre Duret-Lutz authored
    Tools for deciding the class of a formula.
    
    * spot/tl/hierarchy.cc, spot/tl/hierarchy.hh: New files.
    * spot/tl/Makefile.am: Add them.
    * bin/common_output.cc, bin/common_output.hh: Implement --format=%h.
    * tests/core/hierarchy.test: More tests.
    * NEWS: Update.
    7d9ce0d6
To find the state of this project's repository at the time of any of these versions, check out the tags..
NEWS 148 KB