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

typos: familly -> family

Browse source 
* bench/ltlcounter/README, doc/org/upgrade2.org: Here.
This commit is contained in:
Alexandre Duret-Lutz 2017-04-23 11:28:28 +02:00
parent aff3d09015
commit cbfb79e343
2 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
bench/ltlcounter/README
View file

@ -16,7 +16,7 @@ describing counters was used to stress many translators.
For a description of these formulae, you may also see For a description of these formulae, you may also see
http://ti.arc.nasa.gov/m/profile/kyrozier/benchmarking_scripts/node5.html http://ti.arc.nasa.gov/m/profile/kyrozier/benchmarking_scripts/node5.html
This benchmark used this familly of formulae to plot the performance This benchmark used this family of formulae to plot the performance
of the ltl2tgba_fm algorithm. Studying the behaviour of ltl2tgba_fm of the ltl2tgba_fm algorithm. Studying the behaviour of ltl2tgba_fm
on this class of formulae helped us to improve the translation. on this class of formulae helped us to improve the translation.

2
doc/org/upgrade2.org
View file

@ -74,7 +74,7 @@ experience of updating a couple of projects that are using Spot.
7. [[*Various renamings][Several class, functions, and methods, have been renamed]]. Some 7. [[*Various renamings][Several class, functions, and methods, have been renamed]]. Some
have been completely reimplemented, with different interfaces. have been completely reimplemented, with different interfaces.
In particular the =tgba_explicit_*= familly of classes In particular the =tgba_explicit_*= family of classes
(=tgba_explicit_formula=, =tgba_explicit_number=, (=tgba_explicit_formula=, =tgba_explicit_number=,
=tgba_explicit_string= used to encode a TGBA using a graph whose =tgba_explicit_string= used to encode a TGBA using a graph whose
state was named using LTL formulas, integers, or strings) are state was named using LTL formulas, integers, or strings) are