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

* spot/twaalgos/rabin2parity.cc: Minor simplification.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2019-10-16 17:24:53 +02:00
parent f0b52ce218
commit f7bec7eae9
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
spot/twaalgos/rabin2parity.cc
View file

@ -267,9 +267,9 @@ namespace spot
>= scc_.states_of(scc_num).size()); >= scc_.states_of(scc_num).size());
// update state2iar // update state2iar
for (const auto& scc_state : sub_scc.states_of(bscc)) for (unsigned scc_state : sub_scc.states_of(bscc))
{ {
iar_state iar = num2iar.at(scc_state); iar_state& iar = num2iar.at(scc_state);
if (state2iar.find(iar.state) == state2iar.end()) if (state2iar.find(iar.state) == state2iar.end())
state2iar[iar.state] = iar; state2iar[iar.state] = iar;
} }