• Alexandre Duret-Lutz's avatar
    are-isomorphic: speed it up · 541ce543
    Alexandre Duret-Lutz authored
    * src/tgbaalgos/are_isomorphic.cc: inline is_isomorphism() into
    are_isomorphic() so that the reference vector is only sorted once,
    and both vectors are only allocated once.
    541ce543
are_isomorphic.cc 5.99 KB