• Alexandre Duret-Lutz's avatar
    lbtt: build an explicit automaton on input. · 120ce7d8
    Alexandre Duret-Lutz authored
    * src/priv/accmap.hh (acc_mapper): Rename into...
    (acc_mapper_string): ... this, and add
    (acc_mapper_int): ... this variant.
    * src/tgbaparse/tgbaparse.yy: Adjust to renaming.
    * src/tgbaalgos/lbtt.cc: Use acc_mapper_int and build an explicit
    automaton.
    * src/tgbaalgos/lbtt.hh: Adjust return type.
    * src/tgbatest/ltl2tgba.cc: Adjust to new return type.
    120ce7d8
tgbaparse.yy 5.97 KB