Skip to content
  • Denis Poitrenaud's avatar
    * src/misc/optionmap.cc, src/misc/optionmap.hh (option_map): New class. · 661dee86
    Denis Poitrenaud authored
    * src/misc/Makefile.am: Add it.
    * src/tgbaalgos/emptiness.cc, src/tgbaalgos/emptiness.hh: Add option
    facilities to the classes emptiness_check and emptiness_result
    * src/tgbaalgos/magic.cc, src/tgbaalgos/magic.hh,
    src/tgbaalgos/se05.cc, src/tgbaalgos/se05.hh: Compute optionnaly
    accepting runs from stack.
    * src/tgbatest/randtgba.cc: Make this option public.
    661dee86