-
Alexandre Duret-Lutz authored
And also speedup implication checks for Boolean expressions. * src/ltlvisit/simplify.cc: Improve implication-based rules rules for multops by checking one operand against all the other at once (instead of one by one). Do not break Boolean expressions while performing implication checks. * src/ltlvisit/simplify.hh: Typo. * src/ltltest/reduccmp.test: More tests.
df109869