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

sccinfo: simplify initial code

Browse source 
* spot/twaalgos/sccinfo.cc: We do not need to care
about 0 states anymore.
This commit is contained in:
Alexandre Duret-Lutz 2016-11-30 14:25:35 +01:00
parent 5ca1281e36
commit 5841af026a
1 changed files with 6 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

16
spot/twaalgos/sccinfo.cc
View file

@ -73,17 +73,13 @@ namespace spot
// but STATE should not because // but STATE should not because
// it is used as a key in H. // it is used as a key in H.
// Setup depth-first search from the initial state. // Setup depth-first search from the initial state.
if (n > 0) unsigned init = aut->get_init_state_number();
{ num_ = -1;
unsigned init = aut->get_init_state_number(); h_[init] = num_;
num_ = -1; root_.emplace_back(num_, 0U);
h_[init] = num_; todo_.emplace(init, aut->out(init).begin());
root_.emplace_back(num_, 0U); live.emplace_back(init);
todo_.emplace(init, aut->out(init).begin());
live.emplace_back(init);
}
while (!todo_.empty()) while (!todo_.empty())
{ {