-
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.
be57ec29