From f59eeb75cd87a6797d481f35ea5068087ae11d37 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 5 Jan 2004 17:29:36 +0000 Subject: [PATCH] * src/tgbaalgos/powerset.cc, src/tgbaalgos/powerset.hh: New files. * src/tgbaalgos/Makefile.am: Add them. * src/tgbatest/powerset.cc: New file. * src/tgbatest/Makefile.am: Construct powerset and expldot from powerset.cc. --- ChangeLog | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/ChangeLog b/ChangeLog index 556befc24..2640478f5 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,11 @@ 2004-01-05 Alexandre Duret-Lutz + * src/tgbaalgos/powerset.cc, src/tgbaalgos/powerset.hh: New files. + * src/tgbaalgos/Makefile.am: Add them. + * src/tgbatest/powerset.cc: New file. + * src/tgbatest/Makefile.am: Construct powerset and expldot from + powerset.cc. + * 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.