• Alexandre Duret-Lutz's avatar
    c++11: replace push(Type(args...)) by emplace(args...) · 49c66c63
    Alexandre Duret-Lutz authored
    This of course concerns push_back and push_front as well.
    
    * src/bin/common_finput.cc, src/bin/dstar2tgba.cc, src/bin/ltl2tgba.cc,
    src/bin/ltl2tgta.cc, src/bin/ltlcross.cc, src/bin/ltlfilt.cc,
    src/dstarparse/dstarparse.yy, src/kripkeparse/kripkeparse.yy,
    src/ltlast/formula.cc, src/ltlparse/ltlparse.yy, src/misc/minato.cc,
    src/neverparse/neverclaimparse.yy, src/priv/bddalloc.cc, src/ta/ta.cc,
    src/taalgos/emptinessta.cc, src/tgba/taatgba.cc,
    src/tgbaalgos/gtec/gtec.cc, src/tgbaalgos/gtec/sccstack.cc,
    src/tgbaalgos/magic.cc, src/tgbaalgos/ndfs_result.hxx,
    src/tgbaalgos/rundotdec.cc, src/tgbaalgos/scc.cc, src/tgbaalgos/se05.cc,
    src/tgbaalgos/simulation.cc, src/tgbaalgos/tau03.cc,
    src/tgbaalgos/tau03opt.cc, src/tgbaparse/tgbaparse.yy: Use emplace
    to make the code less verbose and avoid creating temporaries.
    49c66c63
simulation.cc 49 KB