-
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