• Alexandre Duret-Lutz's avatar
    introduce original-states · 07c2dd3b
    Alexandre Duret-Lutz authored
    * spot/twaalgos/degen.cc, spot/twaalgos/degen.hh,
    spot/twaalgos/mask.hh: Store original states in "original-states"
    properties.
    * spot/twaalgos/dot.cc: Add support for option 'd'.
    * bin/common_aoutput.cc: Document it.
    * doc/org/concepts.org, NEWS: Document "original-states".
    * tests/core/readsave.test: Add some tests.
    07c2dd3b
common_aoutput.cc 23.6 KB