• Alexandre Duret-Lutz's avatar
    speed up equivalence check for LTL formulas · 679be1d7
    Alexandre Duret-Lutz authored
    With this patch reduc.test goes from 4:57 down to 4:06 on my laptop.
    
    * spot/tl/contain.cc (equal): Use are_isomorphic() before testing
    for containment.
    * spot/twaalgos/are_isomorphic.hh, spot/twaalgos/are_isomorphic.cc:
    (are_isomorphic): New static method.
    679be1d7
are_isomorphic.cc 4.7 KB