• Alexandre Duret-Lutz's avatar
    ltlast: simplify with std::make_pair() and c++11's std::tuple · b37dc0bc
    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/multop.cc, src/ltlast/multop.hh, src/ltlast/unop.cc,
    src/ltlast/unop.hh: Use std::tuple to replace nested std::pair,
    simplify calls to std::map::erase, use auto and std::make_pair with
    insert, and simplify the dump() method using a range for.