• Alexandre Duret-Lutz's avatar
    remove twa::transition_annotation · 39b95474
    Alexandre Duret-Lutz authored
    Fixes #149.
    
    * spot/twa/twa.hh, spot/twa/twa.cc, spot/kripke/fairkripke.hh,
    spot/kripke/kripke.hh, spot/twa/twaproduct.cc, spot/twa/twaproduct.hh:
    Remove this method.
    * spot/twaalgos/emptiness.cc, spot/twaalgos/emptiness.hh,
    tests/ltsmin/finite.test: Adjust.
    * NEWS: Mention the removal.
    39b95474
twa.hh 40.9 KB