• Alexandre Duret-Lutz's avatar
    * src/ltlvisit/nenoform.cc (negative_normal_form): New const variant. · 0ae1a32a
    Alexandre Duret-Lutz authored
    * src/ltlvisit/nenoform.hh (negative_normal_form): New const variant.
    * src/ltlvisit/lunabbrev.cc (unabbreviate_logic): New const variant.
    * src/ltlvisit/lunabbrev.hh (unabbreviate_logic): New const variant.
    * src/ltlvisit/tunabbrev.cc (unabbreviate_ltl): New const variant.
    * src/ltlvisit/tunabbrev.hh (unabbreviate_ltl): New const variant.
    0ae1a32a