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

* spot/twaalgos/ltl2tgba_fm.cc: Update some comments.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2021-11-05 10:45:07 +01:00
parent 540b31dbd7
commit 9097eca81d
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
spot/twaalgos/ltl2tgba_fm.cc
View file

@ -531,7 +531,6 @@ namespace spot
class ratexp_trad_visitor final class ratexp_trad_visitor final
{ {
public: public:
// negated should only be set for constants or atomic properties
ratexp_trad_visitor(translate_dict& dict, formula to_concat = nullptr) ratexp_trad_visitor(translate_dict& dict, formula to_concat = nullptr)
: dict_(dict), to_concat_(to_concat) : dict_(dict), to_concat_(to_concat)
{ {
@ -720,7 +719,7 @@ namespace spot
{ {
if (!tail_computed) if (!tail_computed)
{ {
tail_bdd = recurse(f); // FIXME: inf call!!! tail_bdd = recurse(f);
tail_computed = true; tail_computed = true;
} }
res |= label & tail_bdd; res |= label & tail_bdd;
@ -1076,7 +1075,8 @@ namespace spot
} }
} }
// FIXME: use the new tgba::succ() interface // FIXME: use the new twa_graph_ptr interface
// with unsigned instead of state*.
std::tuple<const_twa_graph_ptr, std::tuple<const_twa_graph_ptr,
const ratexp_to_dfa::namer*, const ratexp_to_dfa::namer*,
const state*> const state*>