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

* src/tgba/tgbagraph.cc: Improve comment.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2014-10-08 16:52:30 +02:00
parent 1696fac80c
commit b6745482af
1 changed files with 2 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/tgba/tgbagraph.cc
View file

@ -47,9 +47,8 @@ namespace spot
auto p = trmap.emplace(k, t.trans()); auto p = trmap.emplace(k, t.trans());
if (!p.second) if (!p.second)
{ {
// A previous transitions exist for k, merge the // A previous transitions exists for k. Merge the
// condition, and schedule the transition for // condition, and schedule the transition for removal.
// removal.
g_.trans_data(p.first->second).cond |= t->cond; g_.trans_data(p.first->second).cond |= t->cond;
t.erase(); t.erase();
} }