From 95f6f2a6394bce5267097fdd822b22f7b0f28989 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 5 Jan 2004 16:36:23 +0000 Subject: [PATCH] * src/tgbaalgos/reachiter.cc (tgba_reachable_iterator::run) Reuse s->second to avoid a hash lookup. * src/tgbaalgos/save.cc (save_bfs::process_state): Delete dest. --- src/tgbaalgos/reachiter.cc | 4 ++-- src/tgbaalgos/save.cc | 3 ++- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/src/tgbaalgos/reachiter.cc b/src/tgbaalgos/reachiter.cc index 44e0def46..2d1870027 100644 --- a/src/tgbaalgos/reachiter.cc +++ b/src/tgbaalgos/reachiter.cc @@ -1,4 +1,4 @@ -// Copyright (C) 2003 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6), // département Systèmes Répartis Coopératifs (SRC), Université Pierre // et Marie Curie. // @@ -71,7 +71,7 @@ namespace spot } else { - process_link(tn, seen[current], si); + process_link(tn, s->second, si); delete current; } } diff --git a/src/tgbaalgos/save.cc b/src/tgbaalgos/save.cc index 8d584bd07..a83402779 100644 --- a/src/tgbaalgos/save.cc +++ b/src/tgbaalgos/save.cc @@ -1,4 +1,4 @@ -// Copyright (C) 2003 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6), // département Systèmes Répartis Coopératifs (SRC), Université Pierre // et Marie Curie. // @@ -81,6 +81,7 @@ namespace spot bdd_print_formula(os_, d, si->current_condition()) << "\","; bdd_print_acc(os_, d, si->current_acceptance_conditions()); os_ << ";" << std::endl; + delete dest; } }