-
Alexandre Duret-Lutz authored
* src/ltlvisit/contain.cc (language_containment_checker::contained, language_containment_checker::neg_contained, language_containment_checker::contained_neg): Detect cases where both formulae are equal.
c54627be
* src/ltlvisit/contain.cc (language_containment_checker::contained, language_containment_checker::neg_contained, language_containment_checker::contained_neg): Detect cases where both formulae are equal.