• Alexandre Duret-Lutz's avatar
    twa: introduce the state_map template alias · 9b95b697
    Alexandre Duret-Lutz authored
    * spot/twa/twa.hh: Introduce the type.
    * spot/taalgos/emptinessta.cc, spot/taalgos/emptinessta.hh,
    spot/taalgos/minimize.cc, spot/taalgos/reachiter.cc,
    spot/taalgos/reachiter.hh, spot/taalgos/tgba2ta.cc,
    spot/twa/twasafracomplement.cc, spot/twaalgos/dtwasat.cc,
    spot/twaalgos/emptiness.cc, spot/twaalgos/gtec/status.cc,
    spot/twaalgos/gtec/status.hh, spot/twaalgos/gv04.cc,
    spot/twaalgos/magic.cc, spot/twaalgos/minimize.cc,
    spot/twaalgos/minimize.hh, spot/twaalgos/reachiter.cc,
    spot/twaalgos/reachiter.hh, spot/twaalgos/se05.cc,
    spot/twaalgos/tau03.cc, spot/twaalgos/tau03opt.cc: Use it.
    9b95b697
twa.hh 27.3 KB