Commit 2a1479c4 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* src/bddop.c (bdd_allsat): Fix description.

parent 1c5c42d2
2003-05-07 Alexandre Duret-Lutz <aduret@src.lip6.fr>
* src/bddop.c (bdd_allsat): Fix description.
2003-05-05 Alexandre Duret-Lutz <aduret@src.lip6.fr> 2003-05-05 Alexandre Duret-Lutz <aduret@src.lip6.fr>
* configure.ac: Output config.h. * configure.ac: Output config.h.
......
...@@ -28,7 +28,7 @@ ...@@ -28,7 +28,7 @@
========================================================================*/ ========================================================================*/
/************************************************************************* /*************************************************************************
$Header: /Volumes/CVS/repository/spot/spot/buddy/src/bddop.c,v 1.2 2003/05/05 13:45:04 aduret Exp $ $Header: /Volumes/CVS/repository/spot/spot/buddy/src/bddop.c,v 1.3 2003/05/07 12:23:19 aduret Exp $
FILE: bddop.c FILE: bddop.c
DESCR: BDD operators DESCR: BDD operators
AUTH: Jorn Lind AUTH: Jorn Lind
...@@ -2350,7 +2350,7 @@ static int fullsatone_rec(int r) ...@@ -2350,7 +2350,7 @@ static int fullsatone_rec(int r)
NAME {* bdd\_allsat *} NAME {* bdd\_allsat *}
SECTION {* operator *} SECTION {* operator *}
SHORT {* finds all satisfying variable assignments *} SHORT {* finds all satisfying variable assignments *}
PROTO {* BDD bdd_satone(BDD r, bddallsathandler handler) *} PROTO {* BDD bdd_allsat(BDD r, bddallsathandler handler) *}
DESCR {* Iterates through all legal variable assignments (those DESCR {* Iterates through all legal variable assignments (those
that make the BDD come true) for the bdd {\tt r} and that make the BDD come true) for the bdd {\tt r} and
calls the callback handler {\tt handler} for each of them. calls the callback handler {\tt handler} for each of them.
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment