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

* src/bddop.c (bdd_simplify): Typo in doc, s/domaine/domain/.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2003-05-22 12:09:20 +00:00
parent 4d6660835a
commit 039412ea35
2 changed files with 6 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
buddy/ChangeLog
View file

@ -1,3 +1,7 @@
2003-05-22 Alexandre Duret-Lutz <aduret@src.lip6.fr>
* src/bddop.c (bdd_simplify): Typo in doc, s/domaine/domain/.
2003-05-20 Alexandre Duret-Lutz <aduret@src.lip6.fr> 2003-05-20 Alexandre Duret-Lutz <aduret@src.lip6.fr>
* src/pairs.c (bdd_copypair): Use memcpy to copy from->result, * src/pairs.c (bdd_copypair): Use memcpy to copy from->result,

4
buddy/src/bddop.c
View file

@ -28,7 +28,7 @@
========================================================================*/ ========================================================================*/
/************************************************************************* /*************************************************************************
$Header: /Volumes/CVS/repository/spot/spot/buddy/src/bddop.c,v 1.5 2003/05/20 08:22:36 aduret Exp $ $Header: /Volumes/CVS/repository/spot/spot/buddy/src/bddop.c,v 1.6 2003/05/22 12:09:20 aduret Exp $
FILE: bddop.c FILE: bddop.c
DESCR: BDD operators DESCR: BDD operators
AUTH: Jorn Lind AUTH: Jorn Lind
@ -1426,7 +1426,7 @@ SECTION {* operator *}
SHORT {* coudert and Madre's restrict function *} SHORT {* coudert and Madre's restrict function *}
PROTO {* BDD bdd_simplify(BDD f, BDD d) *} PROTO {* BDD bdd_simplify(BDD f, BDD d) *}
DESCR {* Tries to simplify the BDD {\tt f} by restricting it to the DESCR {* Tries to simplify the BDD {\tt f} by restricting it to the
domaine covered by {\tt d}. No checks are done to see if the domain covered by {\tt d}. No checks are done to see if the
result is actually smaller than the input. This can be done result is actually smaller than the input. This can be done
by the user with a call to {\tt bdd\_nodecount}. *} by the user with a call to {\tt bdd\_nodecount}. *}
ALSO {* bdd\_restrict *} ALSO {* bdd\_restrict *}