From 2efe52fab062c0982db579c5a38aa71e871832c6 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 27 Sep 2013 16:09:15 +0200 Subject: [PATCH] * src/ltlvisit/clone.cc: Use reserve() for multop. --- src/ltlvisit/clone.cc | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/src/ltlvisit/clone.cc b/src/ltlvisit/clone.cc index 97d3c76b5..8b4408050 100644 --- a/src/ltlvisit/clone.cc +++ b/src/ltlvisit/clone.cc @@ -1,7 +1,8 @@ -// Copyright (C) 2009, 2010, 2012 Laboratoire de Recherche et Développement -// de l'Epita (LRDE). +// -*- coding: utf-8 -*- +// Copyright (C) 2009, 2010, 2012, 2013 Laboratoire de Recherche et +// Développement de l'Epita (LRDE). // Copyright (C) 2003 Laboratoire d'Informatique de Paris 6 (LIP6), -// département Systèmes Répartis Coopératifs (SRC), Université Pierre +// département Systèmes Répartis Coopératifs (SRC), Université Pierre // et Marie Curie. // // This file is part of Spot, a model checking library. @@ -77,7 +78,8 @@ namespace spot clone_visitor::visit(const automatop* ao) { automatop::vec* res = new automatop::vec; - for (unsigned i = 0; i < ao->size(); ++i) + unsigned aos = ao->size(); + for (unsigned i = 0; i < aos; ++i) res->push_back(recurse(ao->nth(i))); result_ = automatop::instance(ao->get_nfa(), res, ao->is_negated()); } @@ -87,6 +89,7 @@ namespace spot { multop::vec* res = new multop::vec; unsigned mos = mo->size(); + res->reserve(mos); for (unsigned i = 0; i < mos; ++i) res->push_back(recurse(mo->nth(i))); result_ = multop::instance(mo->op(), res);