-
Alexandre Duret-Lutz authored
* src/ltlvisit/simplify.cc (inf_left_recurse_visitor, inf_right_recurse_visitor): Remove. (syntactic_implication, syntactic_implication_aux): Rewrite all rules for syntactic implication. (syntactic_implication_neg): Simplify.
369ad87e