• Alexandre Duret-Lutz's avatar
    are-isomorphic: small simplifications · be57ec29
    Alexandre Duret-Lutz authored
    * src/tgbaalgos/are_isomorphic.cc (is_isomorphism): Do not copy
    trans_storage_t elements as they contain more than what we use.
    Remap the states of a1 before the sort, not during the sort.
    (are_trivially_different): Also catch the case where the
    number of acceptance sets are different.
    * src/tgbaalgos/are_isomorphic.hh: Improve doxygen.
are_isomorphic.cc 6.15 KB