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

* src/tgbaalgos/ltl2tgba_fm.hh, src/tgbaalgos/ltl2tgba_lacim.hh:

Browse source 
Typos in Doxygen comments.
This commit is contained in:
Alexandre Duret-Lutz 2004-08-11 09:05:27 +00:00
parent 42fc2b772f
commit 59947d11cf
3 changed files with 8 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

5
ChangeLog
View file

@ -1,3 +1,8 @@
2004-08-11 Alexandre Duret-Lutz <adl@src.lip6.fr>
* src/tgbaalgos/ltl2tgba_fm.hh, src/tgbaalgos/ltl2tgba_lacim.hh:
Typos in Doxygen comments.
2004-08-10 Alexandre Duret-Lutz <adl@src.lip6.fr> 2004-08-10 Alexandre Duret-Lutz <adl@src.lip6.fr>
* src/ltlvisit/apcollect.hh: Fix include guard. Report from Denis. * src/ltlvisit/apcollect.hh: Fix include guard. Report from Denis.

2
src/tgbaalgos/ltl2tgba_fm.hh
View file

@ -89,7 +89,7 @@ namespace spot
/// unstable state is used to suppress all acceptance conditions from /// unstable state is used to suppress all acceptance conditions from
/// incoming transitions. /// incoming transitions.
/// ///
/// \return A spot::tgba_explicit that recognize the language of \a f. /// \return A spot::tgba_explicit that recognizes the language of \a f.
tgba_explicit* ltl_to_tgba_fm(const ltl::formula* f, bdd_dict* dict, tgba_explicit* 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,
bool branching_postponement = false, bool branching_postponement = false,

4
src/tgbaalgos/ltl2tgba_lacim.hh
View file

@ -44,10 +44,10 @@ namespace spot
/// publisher = {Universit{\'e} du Qu{\'e}bec {\`a} Montr{\'e}al}, /// publisher = {Universit{\'e} du Qu{\'e}bec {\`a} Montr{\'e}al},
/// editor = {Pierre Leroux} /// editor = {Pierre Leroux}
/// } /// }
/// \endverbatim
/// \param f The formula to translate into an automata. /// \param f The formula to translate into an automata.
/// \param dict The spot::bdd_dict the constructed automata should use. /// \param dict The spot::bdd_dict the constructed automata should use.
/// \return A spot::tgba_bdd_concrete that recognize the language of \a f. /// \return A spot::tgba_bdd_concrete that recognizes the language of \a f.
/// \endverbatim
tgba_bdd_concrete* ltl_to_tgba_lacim(const ltl::formula* f, bdd_dict* dict); tgba_bdd_concrete* ltl_to_tgba_lacim(const ltl::formula* f, bdd_dict* dict);
} }