• Alexandre Duret-Lutz's avatar
    fix constness of twa::get_init_state() and twa_succ_iterator::dst() · 06b17699
    Alexandre Duret-Lutz authored
    Fixes #125.
    
    * src/kripke/kripkegraph.hh, src/ta/ta.cc, src/ta/ta.hh,
    src/ta/taexplicit.cc, src/ta/taexplicit.hh, src/ta/taproduct.cc,
    src/ta/taproduct.hh, src/ta/tgtaproduct.cc, src/ta/tgtaproduct.hh,
    src/taalgos/dot.cc, src/taalgos/emptinessta.cc,
    src/taalgos/emptinessta.hh, src/taalgos/minimize.cc,
    src/taalgos/reachiter.cc, src/taalgos/tgba2ta.cc, src/twa/twa.hh,
    src/twa/twagraph.hh, src/twa/twaproduct.cc, src/twa/twaproduct.hh,
    src/twaalgos/compsusp.cc, src/twaalgos/gtec/gtec.cc,
    src/twaalgos/ltl2tgba_fm.cc, src/twaalgos/reachiter.cc,
    src/twaalgos/stutter.cc: Adjust.
    06b17699