-
Alexandre Duret-Lutz authored
* src/ltlast/formula.hh (is_literal): Rename as... (get_literal): ... this. (is_literal): New method. (formula_ptr_less_than_multop): Rename as... (formula_ptr_less_than_bool_first): ... this. * src/ltlast/binop.cc: Use formula_ptr_less_than_bool_first. * src/ltlast/multop.cc, src/ltlast/formula.cc: Adjust to renamings.
c01909e3