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

* spot/twa/twagraph.cc: Fixes #478.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2021-09-21 11:20:14 +02:00
parent 3f606cdc35
commit ddda68403f
1 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

5
spot/twa/twagraph.cc
View file

@ -501,14 +501,15 @@ namespace spot
}; };
// Now we have equivalence classes // Now we have equivalence classes
// and a state can only be in exactly // and a state can only be in exactly one.
// (Otherwise the classes would have fused) // (Otherwise the classes would have fused)
// For each equiv class we take the first state as representative // For each equiv class we take the first state as representative
// and redirect all incoming edges to this one // and redirect all incoming edges to this one.
std::vector<unsigned> remap(nb_states, -1U); std::vector<unsigned> remap(nb_states, -1U);
for (const auto& [_, class_v] : equiv_class_) for (const auto& [_, class_v] : equiv_class_)
for (const auto& aclass : class_v) for (const auto& aclass : class_v)
{ {
(void)_; // please some versions of GCC
unsigned rep = *aclass.begin(); unsigned rep = *aclass.begin();
for (auto it = ++aclass.begin(); it != aclass.end(); ++it) for (auto it = ++aclass.begin(); it != aclass.end(); ++it)
remap[*it] = rep; remap[*it] = rep;