From b910330a789d44e0ced2ff7bf4c085cb47e565ce Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 30 Mar 2017 21:25:50 +0200 Subject: [PATCH] [buddy] Typos in comments * src/kernel.c (bdd_addref): Fix typo documentation. * src/bddop.c (bdd_appall, bdd_appallcomp): Likewise. --- buddy/src/bddop.c | 4 ++-- buddy/src/kernel.c | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/buddy/src/bddop.c b/buddy/src/bddop.c index 1a90e53bd..b61eb9a96 100644 --- a/buddy/src/bddop.c +++ b/buddy/src/bddop.c @@ -2138,7 +2138,7 @@ SECTION {* operator *} SHORT {* apply operation and universal quantification *} PROTO {* BDD bdd_appall(BDD left, BDD right, int opr, BDD var) *} DESCR {* Applies the binary operator {\tt opr} to the arguments - {\tt left} and {\tt right} and then performs an universal + {\tt left} and {\tt right} and then performs a universal quantification of the variables from the variable set {\tt var}. This is done in a bottom up manner such that both the apply and quantification is done on the lower nodes before @@ -2160,7 +2160,7 @@ SECTION {* operator *} SHORT {* apply operation and universal (complemented) quantification *} PROTO {* BDD bdd_appall(BDD left, BDD right, int opr, BDD var) *} DESCR {* Applies the binary operator {\tt opr} to the arguments - {\tt left} and {\tt right} and then performs an universal + {\tt left} and {\tt right} and then performs a universal quantification of the variables which are {\bf not} in the variable set {\tt var}. This is done in a bottom up manner such that both the apply and quantification is done on the lower nodes before diff --git a/buddy/src/kernel.c b/buddy/src/kernel.c index b414de1c4..5422c2d76 100644 --- a/buddy/src/kernel.c +++ b/buddy/src/kernel.c @@ -1147,7 +1147,7 @@ SHORT {* increases the reference count on a node *} PROTO {* BDD bdd_addref(BDD r) *} DESCR {* Reference counting is done on externaly referenced nodes only and the count for a specific node {\tt r} can and must be - increased using this function to avoid loosing the node in the next + increased using this function to avoid losing the node in the next garbage collection. *} ALSO {* bdd\_delref *} RETURN {* The BDD node {\tt r}. *}