• Alexandre Duret-Lutz's avatar
    Arrange multops so that Boolean arguments come first. · 536e45b3
    Alexandre Duret-Lutz authored
    This helps recursive implication checks.  Also order
    atomic propositions with strverscmp().
    
    * src/ltlast/formula.hh (formula_ptr_less_than_multop,
    is_literal, atomic_prop_cmp): New.
    * src/ltlast/formula.cc (is_literal, atomic_prop_cmp): Implement them.
    * src/ltlast/multop.cc: Use formula_ptr_less_than_multop.
    * src/ltltest/isop.test, src/ltltest/ltlfilt.test,
    src/tgbatest/det.test, src/tgbatest/dstar.test,
    src/tgbatest/explicit.test, src/tgbatest/explpro2.test,
    src/tgbatest/explpro3.test, src/tgbatest/explprod.test,
    src/tgbatest/nondet.test, src/tgbatest/tripprod.test: Adjust tests.
    * NEWS: Mention the new order.
    536e45b3
multop.cc 14.7 KB