From 1d28714c3af0ff5e48343d79eaf694594d7997e3 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 2 Jul 2014 11:17:50 +0200 Subject: [PATCH] * src/tgbaalgos/randomgraph.cc: Update comment. --- src/tgbaalgos/randomgraph.cc | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/src/tgbaalgos/randomgraph.cc b/src/tgbaalgos/randomgraph.cc index 800a5d9cb..ed1767d88 100644 --- a/src/tgbaalgos/randomgraph.cc +++ b/src/tgbaalgos/randomgraph.cc @@ -112,10 +112,7 @@ namespace spot i = bdd_compose(allneg, i, bdd_var(i)); // Using std::unordered_set instead of std::set for these sets is 3 - // times slower (tested on a 50000 nodes example). Use an int - // (the index into states[]), not the tgba_explicit::state* - // directly, because the later would yield different graphs - // depending on the memory layout. + // times slower (tested on a 50000 nodes example). typedef std::set node_set; node_set nodes_to_process; node_set unreachable_nodes;