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

* src/tgbaalgos/ltl2tgba_fm.hh: Fix comment.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2014-08-10 18:34:40 +02:00
parent 70a6b70f89
commit cccb6edfdd
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tgbaalgos/ltl2tgba_fm.hh
View file

@ -121,7 +121,7 @@ namespace spot
} }
\endverbatim */ \endverbatim */
/// ///
/// \return A spot::tgba_explicit that recognizes the language of \a f. /// \return A spot::tgba_digraph that recognizes the language of \a f.
SPOT_API tgba_digraph* SPOT_API tgba_digraph*
ltl_to_tgba_fm(const ltl::formula* f, bdd_dict* dict, ltl_to_tgba_fm(const ltl::formula* f, bdd_dict* dict,
bool exprop = false, bool symb_merge = true, bool exprop = false, bool symb_merge = true,