Alexandre Duret-Lutz d2fe46136a [buddy] introduce minterm enumeration support ... * src/bddop.c, src/bddx.h (bdd_ibuildcube2, bdd_first_minterm, bdd_next_minterm): New functions. * src/bddx.h (minterms_of): New class.		2021-04-12 17:52:47 +02:00
..
.gitignore	[buddy] install a pkg-config file	2017-01-14 17:55:58 +01:00
bddio.c	[buddy] remove useless #include<assert.h>	2017-03-13 22:26:47 +01:00
bddop.c	[buddy] introduce minterm enumeration support	2021-04-12 17:52:47 +02:00
bddtest.cxx	buddy: rename libbdd to libbddx	2014-10-30 20:58:10 +01:00
bddtree.h	* configure.ac, Makefile.am, src/Makefile.am, doc/Makefile.am,	2003-05-05 13:44:49 +00:00
bddx.h	[buddy] introduce minterm enumeration support	2021-04-12 17:52:47 +02:00
bvec.c	buddy: rename libbdd to libbddx	2014-10-30 20:58:10 +01:00
bvecx.h	buddy: rename libbdd to libbddx	2014-10-30 20:58:10 +01:00
cache.c	[buddy] use powers of two for the sizes of all hash tables	2017-07-24 13:42:21 +02:00
cache.h	[buddy] get rid of many recursive algorithms	2020-08-05 23:25:28 +02:00
cppext.cxx	[buddy] Fix several PVS-Studio warnings	2016-10-28 17:12:21 +02:00
depend.inf	Initial revision	2003-05-05 10:57:53 +00:00
fdd.c	[buddy] fix previous patch	2017-04-19 13:25:07 +02:00
fddx.h	buddy: rename libbdd to libbddx	2014-10-30 20:58:10 +01:00
imatrix.c	[buddy] remove useless #include<assert.h>	2017-03-13 22:26:47 +01:00
imatrix.h	buddy: rename libbdd to libbddx	2014-10-30 20:58:10 +01:00
kernel.c	[buddy] get rid of many recursive algorithms	2020-08-05 23:25:28 +02:00
kernel.h	[buddy] get rid of many recursive algorithms	2020-08-05 23:25:28 +02:00
libbddx.pc.in	[buddy] install a pkg-config file	2017-01-14 17:55:58 +01:00
Makefile.am	[buddy] fix libbddx.pc generation	2017-05-04 11:13:19 +02:00
pairs.c	[buddy] remove useless #include<assert.h>	2017-03-13 22:26:47 +01:00
prime.c	[buddy] use powers of two for the sizes of all hash tables	2017-07-24 13:42:21 +02:00
prime.h	[buddy] use powers of two for the sizes of all hash tables	2017-07-24 13:42:21 +02:00
reorder.c	[buddy] use powers of two for the sizes of all hash tables	2017-07-24 13:42:21 +02:00
tree.c	* configure.ac, Makefile.am, src/Makefile.am, doc/Makefile.am,	2003-05-05 13:44:49 +00:00