File biddyInt.h contains declaration of internal data structures. More...

#include "biddy.h"
#include <assert.h>
#include <string.h>
#include <ctype.h>
#include <gmp.h>

Include dependency graph for biddyInt.h:

This graph shows which files directly or indirectly include this file:

Macros
#define	NOCOMPACT

#define	NOGMPFREE

#define	NOLOWMEMORY

#define	NOESTPROJECT

#define	NOCOMPREHENSIVE

#define	BIDDYEXTENDEDSTATS_NO

#define	BIDDYEVENTLOG_NO

#define	LEGACY_DOT

#define	REFRESH_VARIANT_A

#define	BIDDYVARMAX 4096

#define	TINY_SIZE 1023

#define	SMALL_SIZE 65535

#define	MEDIUM_SIZE 262143

#define	LARGE_SIZE 1048575

#define	XLARGE_SIZE 2097151

#define	XXLARGE_SIZE 4194303

#define	XXXLARGE_SIZE 8388607

#define	HUGE_SIZE 16777215

#define	BIDDYVARIABLETABLESIZE BIDDYVARMAX

#define	BIDDYNODETABLEINITBLOCKSIZE MEDIUM_SIZE

#define	BIDDYNODETABLELIMITBLOCKSIZE XLARGE_SIZE

#define	BIDDYNODETABLEINITSIZE SMALL_SIZE

#define	BIDDYNODETABLELIMITSIZE HUGE_SIZE

#define	BIDDYOPCACHESIZE MEDIUM_SIZE

#define	BIDDYEACACHESIZE SMALL_SIZE

#define	BIDDYRCCACHESIZE SMALL_SIZE

#define	BIDDYREPLACECACHESIZE SMALL_SIZE

#define	BIDDYNODETABLEGCRATIO 1.32

#define	BIDDYNODETABLEGCRATIOF 0.99

#define	BIDDYNODETABLEGCRATIOX 1.10

#define	BIDDYNODETABLERESIZERATIO 0.01

#define	BIDDYNODETABLERESIZERATIOF 0.89

#define	BIDDYNODETABLERESIZERATIOX 0.91

#define	BIDDYNODETABLESIFTINGTRESHOLD 0.95

#define	BIDDYNODETABLECONVERGESIFTINGTRESHOLD 1.01

#define	BIDDYNODETABLESIFTINGFACTOR 3.14

#define	UINTPTR uintptr_t

#define	UINTPTRSIZE (8*sizeof(UINTPTR))

#define	LINESIZE 999 /* maximum length of each input line read */

#define	BUFSIZE 99999 /* maximum length of a buffer */

#define	INOUTNUM 999 /* maximum number of inputs and outputs */

#define	REGNUM 9999 /* maximum number of registers */

#define	TOKENNUM 9999 /* maximum number of tokens */

#define	GATENUM 9999 /* maximum number of gates */

#define	LINENUM 99999 /* maximum number of lines */

#define	WIRENUM 99999 /* maximum number of wires */

#define	ZF_LOGI(x)

#define	biddyNull ((Biddy_Edge)NULL)

#define	GET_ORDER(orderingtable, X, Y) ((orderingtable)[X][Y/UINTPTRSIZE]&(((UINTPTR) 1)<<(Y%UINTPTRSIZE)))!=0

#define	SET_ORDER(orderingtable, X, Y) (orderingtable)[X][Y/UINTPTRSIZE] \|= (((UINTPTR) 1)<<(Y%UINTPTRSIZE))

#define	CLEAR_ORDER(orderingtable, X, Y) (orderingtable)[X][Y/UINTPTRSIZE] &= (~(((UINTPTR) 1)<<(Y%UINTPTRSIZE)))

#define	biddyManagerName ((Biddy_String)(MNG[0]))

#define	biddyManagerName1 ((Biddy_String)(MNG1[0]))

#define	biddyManagerName2 ((Biddy_String)(MNG2[0]))

#define	biddyManagerType (((short int)(MNG[1])))

#define	biddyManagerType1 (((short int)(MNG1[1])))

#define	biddyManagerType2 (((short int)(MNG2[1])))

#define	biddyTerminal ((void *)(MNG[2]))

#define	biddyTerminal1 ((void *)(MNG1[2]))

#define	biddyTerminal2 ((void *)(MNG2[2]))

#define	biddyZero ((Biddy_Edge)(MNG[3]))

#define	biddyZero1 ((Biddy_Edge)(MNG1[3]))

#define	biddyZero2 ((Biddy_Edge)(MNG2[3]))

#define	biddyOne ((Biddy_Edge)(MNG[4]))

#define	biddyOne1 ((Biddy_Edge)(MNG1[4]))

#define	biddyOne2 ((Biddy_Edge)(MNG2[4]))

#define	biddyNodeTable (((BiddyNodeTable)(MNG[5])))

#define	biddyNodeTable1 (((BiddyNodeTable)(MNG1[5])))

#define	biddyNodeTable2 (((BiddyNodeTable)(MNG2[5])))

#define	biddyVariableTable (((BiddyVariableTable)(MNG[6])))

#define	biddyVariableTable1 (((BiddyVariableTable)(MNG1[6])))

#define	biddyVariableTable2 (((BiddyVariableTable)(MNG2[6])))

#define	biddyFormulaTable (((BiddyFormulaTable)(MNG[7])))

#define	biddyFormulaTable1 (((BiddyFormulaTable)(MNG1[7])))

#define	biddyFormulaTable2 (((BiddyFormulaTable)(MNG2[7])))

#define	biddyOPCache (((BiddyOp3CacheTable)(MNG[8])))

#define	biddyOPCache1 (((BiddyOp3CacheTable)(MNG1[8])))

#define	biddyOPCache2 (((BiddyOp3CacheTable)(MNG2[8])))

#define	biddyEACache (((BiddyOp3CacheTable)(MNG[9])))

#define	biddyEACache1 (((BiddyOp3CacheTable)(MNG1[9])))

#define	biddyEACache2 (((BiddyOp3CacheTable)(MNG2[9])))

#define	biddyRCCache (((BiddyOp3CacheTable)(MNG[10])))

#define	biddyRCCache1 (((BiddyOp3CacheTable)(MNG1[10])))

#define	biddyRCCache2 (((BiddyOp3CacheTable)(MNG2[10])))

#define	biddyReplaceCache (((BiddyKeywordCacheTable)(MNG[11])))

#define	biddyReplaceCache1 (((BiddyKeywordCacheTable)(MNG1[11])))

#define	biddyReplaceCache2 (((BiddyKeywordCacheTable)(MNG2[11])))

#define	biddyCacheList (((BiddyCacheList*)(MNG[12])))

#define	biddyCacheList1 (((BiddyCacheList*)(MNG1[12])))

#define	biddyCacheList2 (((BiddyCacheList*)(MNG2[12])))

#define	biddyFreeNodes (((BiddyNode*)(MNG[13])))

#define	biddyFreeNodes1 (((BiddyNode*)(MNG1[13])))

#define	biddyFreeNodes2 (((BiddyNode*)(MNG2[13])))

#define	biddyOrderingTable (((BiddyOrderingTable)(MNG[14])))

#define	biddyOrderingTable1 (((BiddyOrderingTable)(MNG1[14])))

#define	biddyOrderingTable2 (((BiddyOrderingTable)(MNG2[14])))

#define	biddySystemAge (((unsigned int)(MNG[15])))

#define	biddySystemAge1 (((unsigned int)(MNG1[15])))

#define	biddySystemAge2 (((unsigned int)(MNG2[15])))

#define	biddySelect (((unsigned short int)(MNG[16])))

#define	biddySelect1 (((unsigned short int)(MNG1[16])))

#define	biddySelect2 (((unsigned short int)(MNG2[16])))

Variables
Biddy_Manager	biddyAnonymousManager

BiddyLocalInfo *	biddyLocalInfo

Detailed Description

Description

PackageName [Biddy]
Synopsis    [Biddy provides data structures and algorithms for the
             representation and manipulation of Boolean functions with
             ROBDDs, 0-sup-BDDs, and TZBDDs. A hash table is used for quick
             search of nodes. Complement edges decreases the number of
             nodes. An automatic garbage collection with a system age is
             implemented. Variable swapping and sifting are implemented.]

FileName    [biddyInt.h]
Revision    [$Revision: 618 $]
Date        [$Date: 2020-03-28 12:38:59 +0100 (sob, 28 mar 2020) $]
Authors     [Robert Meolic (robert@meolic.com),
             Ales Casar (ales@homemade.net)]

Copyright

Biddy is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.

Biddy is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.

You should have received a copy of the GNU General Public License along with this program; if not, write to the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.

Macros

Variables

Detailed Description

Description

Copyright

More info