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

typos

Browse source 
* spot/twaalgos/alternation.hh: Typos.
* spot/twa/twa.hh: Typos.
This commit is contained in:
Alexandre GBAGUIDI AISSE 2017-05-12 22:48:11 +02:00
parent 8ae10f744f
commit 302095ff9e
2 changed files with 6 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

6
spot/twa/twa.hh
View file

@ -947,7 +947,7 @@ namespace spot
/// \brief Set generalized Büchi acceptance /// \brief Set generalized Büchi acceptance
/// ///
/// \param num the number of acceptance sets to used /// \param num the number of acceptance sets to use
/// ///
/// The acceptance formula of the form /// The acceptance formula of the form
/// \code /// \code
@ -987,8 +987,8 @@ namespace spot
/// acceptance. The returned mark \c {0} can be used to tag /// acceptance. The returned mark \c {0} can be used to tag
/// accepting transition. /// accepting transition.
/// ///
/// Note that this does not make the automaton as using /// Note that this does not mark the automaton as using
/// state-based acceptance. If you want to create a Büchi /// state-based acceptance. If you want to create a Büchi
/// automaton with state-based acceptance, call /// automaton with state-based acceptance, call
/// \code /// \code
/// prop_state_acc(true) /// prop_state_acc(true)

4
spot/twaalgos/alternation.hh
View file

@ -27,7 +27,7 @@ namespace spot
/// \brief Helper class combine outgoing edges in alternating /// \brief Helper class combine outgoing edges in alternating
/// automata /// automata
/// ///
/// The idea is that you can the operator() on some state to get an /// The idea is that you can call the operator() on some state to get an
/// BDD representation of its outgoing edges (labels and /// BDD representation of its outgoing edges (labels and
/// destinations, but not acceptance marks). The BDD representation /// destinations, but not acceptance marks). The BDD representation
/// of different states can combined using & or | to build a new /// of different states can combined using & or | to build a new
@ -65,6 +65,7 @@ namespace spot
/// Acceptance marks are dropped. /// Acceptance marks are dropped.
/// ///
/// The results is very likely to be alternating. /// The results is very likely to be alternating.
/// @}
template<class I> template<class I>
SPOT_API SPOT_API
unsigned states_and(const twa_graph_ptr& aut, I begin, I end) unsigned states_and(const twa_graph_ptr& aut, I begin, I end)
@ -97,6 +98,7 @@ namespace spot
/// acceptance is only used in presence of size-1 rejecting-SCCs.) /// acceptance is only used in presence of size-1 rejecting-SCCs.)
/// ///
/// \param named_states name each state for easier debugging /// \param named_states name each state for easier debugging
/// @}
SPOT_API SPOT_API
twa_graph_ptr remove_alternation(const const_twa_graph_ptr& aut, twa_graph_ptr remove_alternation(const const_twa_graph_ptr& aut,
bool named_states = false); bool named_states = false);