-
Alexandre Duret-Lutz authored
Fixes #59. * src/tgbaalgos/hoa.cc: Add option i. * src/bin/common_aoutput.cc, src/bin/dstar2tgba.cc, src/tgbaalgos/hoa.hh: Document it. * src/tgbatest/hoaparse.test: Test it.
566118a5
Fixes #59. * src/tgbaalgos/hoa.cc: Add option i. * src/bin/common_aoutput.cc, src/bin/dstar2tgba.cc, src/tgbaalgos/hoa.hh: Document it. * src/tgbatest/hoaparse.test: Test it.