Skip to content
  • Alexandre Duret-Lutz's avatar
    Fix computation of product acceptance conditions, when the · 7db71d9a
    Alexandre Duret-Lutz authored
    two operands share some acceptance conditions.
    * src/tgba/tgbaproduct.hh (tgba_product::left_acc_complement_,
    tgba_product::right_acc_complement_): New attribute.
    * src/tgba/tgbaproduct.cc (tgba_product::tgba_product): Set them.
    (tgba_product::succ_iter): Use them.
    * src/tgba/explpro2.test: New file.
    * src/tgba/Makefile.am (TESTS): Add it.
    7db71d9a
To find the state of this project's repository at the time of any of these versions, check out the tags.