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

* spot/twaalgos/product.hh: Typos in comments.

Browse source
This commit is contained in:
Clément Gillard 2018-04-11 16:49:45 +02:00 • committed by Alexandre Duret-Lutz
parent b9482a5bcc
commit 4ca38d225a
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
spot/twaalgos/product.hh
View file

@ -52,7 +52,7 @@ namespace spot
/// \ingroup twa_algorithms /// \ingroup twa_algorithms
/// \brief Intersect two automata using a synchronous product /// \brief Intersect two automata using a synchronous product
/// ///
/// These variant allow changing the initial state of both automata /// This variant allows changing the initial state of both automata
/// in case you want to start the product at a different place. /// in case you want to start the product at a different place.
/// ///
/// The resulting automaton will accept the intersection of the /// The resulting automaton will accept the intersection of the
@ -96,7 +96,7 @@ namespace spot
/// \ingroup twa_algorithms /// \ingroup twa_algorithms
/// \brief Sum two automata using a synchronous product /// \brief Sum two automata using a synchronous product
/// ///
/// These variant allow changing the initial state of both automata /// This variant allows changing the initial state of both automata
/// in case you want to start the product at a different place. /// in case you want to start the product at a different place.
/// ///
/// The resulting automaton will accept the sum of the languages /// The resulting automaton will accept the sum of the languages