alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* src/tgbaalgos/randomgraph.cc: Update comment.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2014-07-02 11:17:50 +02:00
parent 64822be6a1
commit 1d28714c3a
1 changed files with 1 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/tgbaalgos/randomgraph.cc
View file

@ -112,10 +112,7 @@ namespace spot
i = bdd_compose(allneg, i, bdd_var(i)); i = bdd_compose(allneg, i, bdd_var(i));
// Using std::unordered_set instead of std::set for these sets is 3 // Using std::unordered_set instead of std::set for these sets is 3
// times slower (tested on a 50000 nodes example). Use an int // times slower (tested on a 50000 nodes example).
// (the index into states[]), not the tgba_explicit::state*
// directly, because the later would yield different graphs
// depending on the memory layout.
typedef std::set<int> node_set; typedef std::set<int> node_set;
node_set nodes_to_process; node_set nodes_to_process;
node_set unreachable_nodes; node_set unreachable_nodes;