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

* src/tgba/tgba.hh, src/tgbaalgos/ltl2tgba_fm.hh,

Browse source 
src/tgbaalgos/ltl2tgba_lacim.hh, src/tgbaalgos/stats.hh: Typos.
This commit is contained in:
Alexandre Duret-Lutz 2004-11-17 17:45:01 +00:00
parent a1262a30fb
commit 321177331d
5 changed files with 8 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

3
ChangeLog
View file

@ -1,5 +1,8 @@
2004-11-17 Alexandre Duret-Lutz <adl@src.lip6.fr> 2004-11-17 Alexandre Duret-Lutz <adl@src.lip6.fr>
* src/tgba/tgba.hh, src/tgbaalgos/ltl2tgba_fm.hh,
src/tgbaalgos/ltl2tgba_lacim.hh, src/tgbaalgos/stats.hh: Typos.
* src/tgbatest/Makefile.am (EXTRA_DIST): Distribute the files * src/tgbatest/Makefile.am (EXTRA_DIST): Distribute the files
from tba_samples_from_spin. from tba_samples_from_spin.
* src/tgbatest/tba_samples_from_spin.test: Get these example files * src/tgbatest/tba_samples_from_spin.test: Get these example files

4
src/tgba/tgba.hh
View file

@ -28,7 +28,7 @@
namespace spot namespace spot
{ {
/// \defgroup tgba TGBA (Transition-based Genealized Büchi Automaton) /// \defgroup tgba TGBA (Transition-based Generalized Büchi Automata)
/// ///
/// Spot is centered around the spot::tgba type. This type and its /// Spot is centered around the spot::tgba type. This type and its
/// cousins are listed \ref tgba_essentials "here". This is an /// cousins are listed \ref tgba_essentials "here". This is an
@ -162,7 +162,7 @@ namespace spot
virtual std::string virtual std::string
transition_annotation(const tgba_succ_iterator* t) const; transition_annotation(const tgba_succ_iterator* t) const;
/// \brief Project a state on an automata. /// \brief Project a state on an automaton.
/// ///
/// This converts \a s, into that corresponding spot::state for \a /// This converts \a s, into that corresponding spot::state for \a
/// t. This is useful when you have the state of a product, and /// t. This is useful when you have the state of a product, and

2
src/tgbaalgos/ltl2tgba_fm.hh
View file

@ -50,7 +50,7 @@ namespace spot
/// } /// }
/// \endverbatim /// \endverbatim
/// ///
/// \param f The formula to translate into an automata. /// \param f The formula to translate into an automaton.
/// ///
/// \param dict The spot::bdd_dict the constructed automata should use. /// \param dict The spot::bdd_dict the constructed automata should use.
/// ///

2
src/tgbaalgos/ltl2tgba_lacim.hh
View file

@ -46,7 +46,7 @@ namespace spot
/// editor = {Pierre Leroux} /// editor = {Pierre Leroux}
/// } /// }
/// \endverbatim /// \endverbatim
/// \param f The formula to translate into an automata. /// \param f The formula to translate into an automaton.
/// \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 recognizes the language of \a f. /// \return A spot::tgba_bdd_concrete that recognizes the language of \a f.
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);

2
src/tgbaalgos/stats.hh
View file

@ -36,7 +36,7 @@ namespace spot
unsigned states; unsigned states;
}; };
/// \brief Compute statistics for an automata. /// \brief Compute statistics for an automaton.
tgba_statistics stats_reachable(const tgba* g); tgba_statistics stats_reachable(const tgba* g);
/// @} /// @}