• Alexandre Duret-Lutz's avatar
    ltlast: move all accessor methods to headers to help the optimizer · 2c05a9fd
    Alexandre Duret-Lutz authored
    * src/ltlast/atomic_prop.cc, src/ltlast/atomic_prop.hh,
    src/ltlast/automatop.cc, src/ltlast/automatop.hh, src/ltlast/binop.cc,
    src/ltlast/binop.hh, src/ltlast/bunop.cc, src/ltlast/bunop.hh,
    src/ltlast/constant.cc, src/ltlast/constant.hh, src/ltlast/multop.cc,
    src/ltlast/multop.hh, src/ltlast/unop.cc, src/ltlast/unop.hh: Move all
    one-line accessors methods like nth(), child(), op()... from *.cc files
    to their respective *.hh files.
unop.hh 5.65 KB