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

* src/pairs.c (bdd_mergepairs): New function.

(bdd_copypair): Revert 2003-05-20's change.  Use bdd_addref
to copy result variables.
* src/bdd.h (BDD_INVMERGE): New error code.
(bdd_mergepairs): Declare.
* src/kernel.c (errorstrings): Add string of BDDINV.
parent 10f634d9
...@@ -3,7 +3,6 @@ ...@@ -3,7 +3,6 @@
* src/pairs.c (bdd_mergepairs): New function. * src/pairs.c (bdd_mergepairs): New function.
(bdd_copypair): Revert 2003-05-20's change. Use bdd_addref (bdd_copypair): Revert 2003-05-20's change. Use bdd_addref
to copy result variables. to copy result variables.
* src/bdd.h (BDD_INVMERGE): New error code. * src/bdd.h (BDD_INVMERGE): New error code.
(bdd_mergepairs): Declare. (bdd_mergepairs): Declare.
* src/kernel.c (errorstrings): Add string of BDDINV. * src/kernel.c (errorstrings): Add string of BDDINV.
......
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