Commit f59eeb75 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* 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.
parent 791c3890
2004-01-05 Alexandre Duret-Lutz <adl@src.lip6.fr> 2004-01-05 Alexandre Duret-Lutz <adl@src.lip6.fr>
* 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) * src/tgbaalgos/reachiter.cc (tgba_reachable_iterator::run)
Reuse s->second to avoid a hash lookup. Reuse s->second to avoid a hash lookup.
* src/tgbaalgos/save.cc (save_bfs::process_state): Delete dest. * src/tgbaalgos/save.cc (save_bfs::process_state): Delete dest.
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment