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

ltl2aa: comment

Browse source
This commit is contained in:
Antoine Martin 2022-09-16 15:49:56 +02:00
parent dec854ee07
commit e5d7ba9e22
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
spot/twaalgos/translate_aa.cc
View file

@ -285,6 +285,7 @@ namespace spot
bdd vars = bddtrue; bdd vars = bddtrue;
bdd aps = sere_aut->ap_vars(); bdd aps = sere_aut->ap_vars();
std::vector<unsigned> univ_dest; std::vector<unsigned> univ_dest;
// TODO: this should be a std::vector<bool> !
std::vector<unsigned> acc_states; std::vector<unsigned> acc_states;
// registers a state in various maps and returns the index of the // registers a state in various maps and returns the index of the