• Alexandre Duret-Lutz's avatar
    autcross: simplify code using complement() and intersecting_word() · f0b77e21
    Alexandre Duret-Lutz authored
    * bin/autcross.cc: Let complement() decide how to complement automata.
    Do not apply remove_fin(), because we have a generic emptiness check
    now.  Use intersecting_word() instead of product()+accepting_word() so
    that the former can maybe be optimized in the future.
    * tests/core/autcross2.test: Adjust test case to use TGBA instead
    of monitors, as calling complement() had a side-effect of setting
    the "weak" property on the input.
autcross.cc 24.1 KB