• Alexandre Duret-Lutz's avatar
    * src/ltlast/formulae.hh (formulae::equals): Remove. · dfc82ee3
    Alexandre Duret-Lutz authored
    * src/ltlast/unop.hh (unop::equals): Remove.
    * src/ltlast/unop.cc (unop::equals): Remove.
    * src/ltlast/binop.hh (binop::equals): Remove.
    * src/ltlast/binop.cc (binop::equals): Remove.
    * src/ltlast/multop.hh (multop::equals): Remove.
    * src/ltlast/multop.cc (multop::equals): Remove.
    * src/ltlast/atomic_prop.hh (atomic_prop::equals): Remove.
    * src/ltlast/atomic_prop.cc (atomic_prop::equals): Remove.
    * src/ltlast/constant.hh (constant::equals): Remove.
    * src/ltlast/constant.cc (constant::equals): Remove.
    dfc82ee3