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

[buddy] typo in comment

Browse source 
* src/bddop.c (bdd_implies): Fix documentation.
This commit is contained in:
Alexandre Duret-Lutz 2016-10-19 16:54:59 +02:00
parent 56f768f5a6
commit 57a055b656
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
buddy/src/bddop.c
View file

@ -902,7 +902,7 @@ BDD bdd_setxor(BDD l, BDD r)
NAME {* bdd\_implies *} NAME {* bdd\_implies *}
SECTION {* operator *} SECTION {* operator *}
SHORT {* check whether one BDD implies another *} SHORT {* check whether one BDD implies another *}
PROTO {* int bdd_setxor(BDD l, BDD r) *} PROTO {* int bdd_implies(BDD l, BDD r) *}
DESCR {* Check whether $l$ implies $r$, or whether $r$ contains $l$. *} DESCR {* Check whether $l$ implies $r$, or whether $r$ contains $l$. *}
RETURN {* 1 if $l$ implies $r$, 0 otherwise *} RETURN {* 1 if $l$ implies $r$, 0 otherwise *}
*/ */