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

* src/tgbaalgos/randomgraph.hh: Two typos, reported by Akim.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2013-09-27 14:38:03 +02:00
parent 536e45b342
commit 1f1feb935d
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/tgbaalgos/randomgraph.hh
View file

@ -70,8 +70,8 @@ namespace spot
}
\endverbatim */
///
/// Although the intent is similar, there are some differences with
/// between the above published algorithm and this implementation .
/// Although the intent is similar, there are some differences
/// between the above published algorithm and this implementation.
/// First labels are on transitions, and acceptance conditions are
/// generated too. Second, the number of successors of a node is
/// chosen in \f$[1,n]\f$ following a normal distribution with mean