Biddy  1.7.4
An academic Binary Decision Diagrams package
biddy.h File Reference

File biddy.h contains declaration of all external data structures. More...

#include <stdio.h>
#include <stdlib.h>
#include <stdint.h>
#include <stdarg.h>
#include <time.h>

Go to the source code of this file.

Data Structures

struct  Biddy_XY
 

Macros

#define Biddy_IsNull(f)   (f == NULL)
 
#define Biddy_IsTerminal(f)   ((((void**)((uintptr_t) f & ~((uintptr_t) 1)))[2] == NULL) && (((void**)((uintptr_t) f & ~((uintptr_t) 1)))[3] == NULL))
 
#define Biddy_IsEqvPointer(f, g)   (((uintptr_t) f & ~((uintptr_t) 1)) == ((uintptr_t) g & ~((uintptr_t) 1)))
 
#define Biddy_GetMark(f)   (((uintptr_t) f & (uintptr_t) 1) != 0)
 
#define Biddy_SetMark(f)   (f = (Biddy_Edge) ((uintptr_t) f | (uintptr_t) 1))
 
#define Biddy_ClearMark(f)   (f = (Biddy_Edge) ((uintptr_t) f & ~((uintptr_t) 1)))
 
#define Biddy_InvertMark(f)   (f = (Biddy_Edge) ((uintptr_t) f ^ (uintptr_t) 1))
 
#define Biddy_Inv(f)   ((Biddy_Edge) ((uintptr_t) f ^ (uintptr_t) 1))
 
#define Biddy_InvCond(f, c)   (c ? ((Biddy_Edge) ((uintptr_t) f ^ (uintptr_t) 1)) : f)
 
#define Biddy_Regular(f)   ((Biddy_Edge) ((uintptr_t) f & ~((uintptr_t) 1)))
 
#define Biddy_Complement(f)   ((Biddy_Edge) ((uintptr_t) f | (uintptr_t) 1))
 
#define Biddy_GetTag(f)   0
 
#define Biddy_SetTag(f, t)   0
 
#define Biddy_ClearTag(f)   0
 
#define Biddy_Untagged(f)   0
 
#define Biddy_Init()   Biddy_InitMNG(NULL,BIDDYTYPEOBDDC)
 
#define Biddy_Exit()   Biddy_ExitMNG(NULL)
 
#define Biddy_GetManagerType()   Biddy_Managed_GetManagerType(NULL)
 
#define Biddy_GetManagerName()   Biddy_Managed_GetManagerName(NULL)
 
#define Biddy_SetManagerParameters(gcr, gcrF, gcrX, rr, rrF, rrX, st, cst)   Biddy_Managed_SetManagerParameters(NULL,gcr,gcrF,gcrX,rr,rrF,rrX,st,cst)
 
#define Biddy_Managed_GetThen(MNG, f)   Biddy_GetThen(f)
 
#define Biddy_Managed_GetElse(MNG, f)   Biddy_GetElse(f)
 
#define Biddy_Managed_GetTopVariable(MNG, f)   Biddy_GetTopVariable(f)
 
#define Biddy_IsEqv(f1, MNG2, f2)   Biddy_Managed_IsEqv(NULL,f1,MNG2,f2)
 
#define Biddy_SelectNode(f)   Biddy_Managed_SelectNode(NULL,f)
 
#define Biddy_DeselectNode(f)   Biddy_Managed_DeselectNode(NULL,f)
 
#define Biddy_IsSelected(f)   Biddy_Managed_IsSelected(NULL,f)
 
#define Biddy_SelectFunction(f)   Biddy_Managed_SelectFunction(NULL,f)
 
#define Biddy_DeselectAll()   Biddy_Managed_DeselectAll(NULL)
 
#define Biddy_GetTerminal()   Biddy_Managed_GetTerminal(NULL)
 
#define Biddy_GetConstantZero()   Biddy_Managed_GetConstantZero(NULL)
 
#define Biddy_GetConstantOne()   Biddy_Managed_GetConstantOne(NULL)
 
#define Biddy_GetBaseSet()   Biddy_Managed_GetBaseSet(NULL)
 
#define Biddy_GetVariable(x)   Biddy_Managed_GetVariable(NULL,x)
 
#define Biddy_GetLowestVariable()   Biddy_Managed_GetLowestVariable(NULL)
 
#define Biddy_GetIthVariable(i)   Biddy_Managed_GetIthVariable(NULL,i)
 
#define Biddy_GetPrevVariable(v)   Biddy_Managed_GetPrevVariable(NULL,v)
 
#define Biddy_GetNextVariable(v)   Biddy_Managed_GetNextVariable(NULL,v)
 
#define Biddy_GetVariableEdge(v)   Biddy_Managed_GetVariableEdge(NULL,v)
 
#define Biddy_GetElementEdge(v)   Biddy_Managed_GetElementEdge(NULL,v)
 
#define Biddy_GetVariableName(v)   Biddy_Managed_GetVariableName(NULL,v)
 
#define Biddy_GetTopVariableEdge(f)   Biddy_Managed_GetTopVariableEdge(NULL,f)
 
#define Biddy_GetTopVariableName(f)   Biddy_Managed_GetTopVariableName(NULL,f)
 
#define Biddy_GetTopVariableChar(f)   Biddy_Managed_GetTopVariableChar(NULL,f)
 
#define Biddy_ResetVariablesValue()   Biddy_Managed_ResetVariablesValue(NULL)
 
#define Biddy_SetVariableValue(v, f)   Biddy_Managed_SetVariableValue(NULL,v,f)
 
#define Biddy_GetVariableValue(v)   Biddy_Managed_GetVariableValue(NULL,v)
 
#define Biddy_ClearVariablesData()   Biddy_Managed_ClearVariablesData(NULL)
 
#define Biddy_SetVariableData(v, x)   Biddy_Managed_SetVariableData(NULL,v,x)
 
#define Biddy_GetVariableData(v)   Biddy_Managed_GetVariableData(NULL,v)
 
#define Biddy_IsSmaller(fv, gv)   Biddy_Managed_IsSmaller(NULL,fv,gv)
 
#define Biddy_IsLowest(v)   Biddy_Managed_IsLowest(NULL,v)
 
#define Biddy_IsHighest(v)   Biddy_Managed_IsHighest(NULL,v)
 
#define Biddy_FoaVariable(x, varelem)   Biddy_Managed_FoaVariable(NULL,x,varelem)
 
#define Biddy_ChangeVariableName(v, x)   Biddy_Managed_ChangeVariableName(NULL,v,x)
 
#define Biddy_AddVariableByName(x)   Biddy_Managed_AddVariableByName(NULL,x)
 
#define Biddy_AddElementByName(x)   Biddy_Managed_AddElementByName(NULL,x)
 
#define Biddy_AddVariableBelow(v)   Biddy_Managed_AddVariableBelow(NULL,v)
 
#define Biddy_AddVariableAbove(v)   Biddy_Managed_AddVariableAbove(NULL,v)
 
#define Biddy_TransferMark(f, mark, leftright)   Biddy_Managed_TransferMark(NULL,f,mark,leftright)
 
#define Biddy_IncTag(f)   Biddy_Managed_IncTag(NULL,f)
 
#define Biddy_TaggedFoaNode(v, pf, pt, ptag, garbageAllowed)   Biddy_Managed_TaggedFoaNode(NULL,v,pf,pt,ptag,garbageAllowed)
 
#define Biddy_IsOK(f)   Biddy_Managed_IsOK(NULL,f)
 
#define Biddy_GC(targetLT, targetGEQ, purge, total)   Biddy_Managed_GC(NULL,targetLT,targetGEQ,purge,total)
 
#define Biddy_Clean()   Biddy_Managed_Clean(NULL)
 
#define Biddy_Purge()   Biddy_Managed_Purge(NULL)
 
#define Biddy_PurgeAndReorder(f, c)   Biddy_Managed_PurgeAndReorder(NULL,f,c)
 
#define Biddy_Refresh(f)   Biddy_Managed_Refresh(NULL,f)
 
#define Biddy_AddCache(gc)   Biddy_Managed_AddCache(NULL,gc)
 
#define Biddy_AddFormula(x, f, c)   Biddy_Managed_AddFormula(NULL,x,f,c)
 
#define Biddy_FindFormula(x, idx, f)   Biddy_Managed_FindFormula(NULL,x,idx,f)
 
#define Biddy_DeleteFormula(x)   Biddy_Managed_DeleteFormula(NULL,x)
 
#define Biddy_DeleteIthFormula(x)   Biddy_Managed_DeleteIthFormula(NULL,x)
 
#define Biddy_GetIthFormula(i)   Biddy_Managed_GetIthFormula(NULL,i)
 
#define Biddy_GetIthFormulaName(i)   Biddy_Managed_GetIthFormulaName(NULL,i)
 
#define Biddy_SwapWithHigher(v)   Biddy_Managed_SwapWithHigher(NULL,v)
 
#define Biddy_SwapWithLower(v)   Biddy_Managed_SwapWithLower(NULL,v)
 
#define Biddy_Sifting(f, c)   Biddy_Managed_Sifting(NULL,f,c)
 
#define Biddy_MinimizeBDD(f)   Biddy_Managed_MinimizeBDD(NULL,f)
 
#define Biddy_MaximizeBDD(f)   Biddy_Managed_MaximizeBDD(NULL,f)
 
#define Biddy_Copy(MNG2, f)   Biddy_Managed_Copy(NULL,MNG2,f)
 
#define Biddy_CopyFormula(MNG2, x)   Biddy_Managed_CopyFormula(NULL,MNG2,x)
 
#define Biddy_Eval(f)   Biddy_Managed_Eval(NULL,f)
 
#define Biddy_Not(f)   Biddy_Managed_Not(NULL,f)
 
#define Biddy_ITE(f, g, h)   Biddy_Managed_ITE(NULL,f,g,h)
 
#define Biddy_And(f, g)   Biddy_Managed_And(NULL,f,g)
 
#define Biddy_Or(f, g)   Biddy_Managed_Or(NULL,f,g)
 
#define Biddy_Nand(f, g)   Biddy_Managed_Nand(NULL,f,g)
 
#define Biddy_Nor(f, g)   Biddy_Managed_Nor(NULL,f,g)
 
#define Biddy_Xor(f, g)   Biddy_Managed_Xor(NULL,f,g)
 
#define Biddy_Xnor(f, g)   Biddy_Managed_Xnor(NULL,f,g)
 
#define Biddy_Leq(f, g)   Biddy_Managed_Leq(NULL,f,g)
 
#define Biddy_Gt(f, g)   Biddy_Managed_Gt(NULL,f,g)
 
#define Biddy_IsLeq(f, g)   Biddy_Managed_IsLeq(NULL,f,g)
 
#define Biddy_Restrict(f, v, value)   Biddy_Managed_Restrict(NULL,f,v,value)
 
#define Biddy_Compose(f, g, v)   Biddy_Managed_Compose(NULL,f,g,v)
 
#define Biddy_E(f, v)   Biddy_Managed_E(NULL,f,v)
 
#define Biddy_A(f, v)   Biddy_Managed_A(NULL,f,v)
 
#define Biddy_IsVariableDependent(f, v)   Biddy_Managed_IsVariableDependent(NULL,f,v)
 
#define Biddy_ExistAbstract(f, cube)   Biddy_Managed_ExistAbstract(NULL,f,cube)
 
#define Biddy_UnivAbstract(f, cube)   Biddy_Managed_UnivAbstract(NULL,f,cube)
 
#define Biddy_AndAbstract(f, g, cube)   Biddy_Managed_AndAbstract(NULL,f,g,cube)
 
#define Biddy_Constrain(f, c)   Biddy_Managed_Constrain(NULL,f,c)
 
#define Biddy_Simplify(f, c)   Biddy_Managed_Simplify(NULL,f,c)
 
#define Biddy_Support(f)   Biddy_Managed_Support(NULL,f)
 
#define Biddy_ReplaceByKeyword(f, keyword)   Biddy_Managed_ReplaceByKeyword(NULL,f,keyword)
 
#define Biddy_Change(f, v)   Biddy_Managed_Change(NULL,f,v)
 
#define Biddy_Subset(f, v, value)   Biddy_Managed_Subset(NULL,f,v,value)
 
#define Biddy_CreateMinterm(support, x)   Biddy_Managed_CreateMinterm(NULL,support,x)
 
#define Biddy_CreateFunction(support, x)   Biddy_Managed_CreateFunction(NULL,support,x)
 
#define Biddy_RandomFunction(support, r)   Biddy_Managed_RandomFunction(NULL,support,r)
 
#define Biddy_RandomSet(unit, r)   Biddy_Managed_RandomSet(NULL,unit,r)
 
#define Biddy_CountNodes(f)   Biddy_Managed_CountNodes(NULL,f)
 
#define Biddy_Managed_MaxLevel(MNG, f)   Biddy_MaxLevel(f)
 
#define Biddy_Managed_AvgLevel(MNG, f)   Biddy_AvgLevel(f)
 
#define Biddy_VariableTableNum()   Biddy_Managed_VariableTableNum(NULL)
 
#define Biddy_NodeTableSize()   Biddy_Managed_NodeTableSize(NULL)
 
#define Biddy_NodeTableBlockNumber()   Biddy_Managed_NodeTableBlockNumber(NULL)
 
#define Biddy_NodeTableGenerated()   Biddy_Managed_NodeTableGenerated(NULL)
 
#define Biddy_NodeTableMax()   Biddy_Managed_NodeTableMax(NULL)
 
#define Biddy_NodeTableNum()   Biddy_Managed_NodeTableNum(NULL)
 
#define Biddy_NodeTableNumVar(v)   Biddy_Managed_NodeTableNumVar(NULL,v)
 
#define Biddy_NodeTableResizeNumber()   Biddy_Managed_NodeTableResizeNumber(NULL)
 
#define Biddy_NodeTableFoaNumber()   Biddy_Managed_NodeTableFoaNumber(NULL)
 
#define Biddy_NodeTableFindNumber()   Biddy_Managed_NodeTableFindNumber(NULL)
 
#define Biddy_NodeTableCompareNumber()   Biddy_Managed_NodeTableCompareNumber(NULL)
 
#define Biddy_NodeTableAddNumber()   Biddy_Managed_NodeTableAddNumber(NULL)
 
#define Biddy_NodeTableGCNumber()   Biddy_Managed_NodeTableGCNumber(NULL)
 
#define Biddy_NodeTableGCTime()   Biddy_Managed_NodeTableGCTime(NULL)
 
#define Biddy_NodeTableGCObsoleteNumber()   Biddy_Managed_NodeTableGCObsoleteNumber(NULL)
 
#define Biddy_NodeTableSwapNumber()   Biddy_Managed_NodeTableSwapNumber(NULL)
 
#define Biddy_NodeTableSiftingNumber()   Biddy_Managed_NodeTableSiftingNumber(NULL)
 
#define Biddy_NodeTableDRTime()   Biddy_Managed_NodeTableDRTime(NULL)
 
#define Biddy_NodeTableITENumber()   Biddy_Managed_NodeTableITENumber(NULL)
 
#define Biddy_NodeTableITERecursiveNumber()   Biddy_Managed_NodeTableITERecursiveNumber(NULL)
 
#define Biddy_NodeTableANDORNumber()   Biddy_Managed_NodeTableANDORNumber(NULL)
 
#define Biddy_NodeTableANDORRecursiveNumber()   Biddy_Managed_NodeTableANDORRecursiveNumber(NULL)
 
#define Biddy_NodeTableXORNumber()   Biddy_Managed_NodeTableXORNumber(NULL)
 
#define Biddy_NodeTableXORRecursiveNumber()   Biddy_Managed_NodeTableXORRecursiveNumber(NULL)
 
#define Biddy_FormulaTableNum()   Biddy_Managed_FormulaTableNum(NULL)
 
#define Biddy_ListUsed()   Biddy_Managed_ListUsed(NULL)
 
#define Biddy_ListMaxLength()   Biddy_Managed_ListMaxLength(NULL)
 
#define Biddy_ListAvgLength()   Biddy_Managed_ListAvgLength(NULL)
 
#define Biddy_OPCacheSearch()   Biddy_Managed_OPCacheSearch(NULL)
 
#define Biddy_OPCacheFind()   Biddy_Managed_OPCacheFind(NULL)
 
#define Biddy_OPCacheInsert()   Biddy_Managed_OPCacheInsert(NULL)
 
#define Biddy_OPCacheOverwrite()   Biddy_Managed_OPCacheOverwrite(NULL)
 
#define Biddy_CountNodesPlain(f)   Biddy_Managed_CountNodesPlain(NULL,f)
 
#define Biddy_DependentVariableNumber(f)   Biddy_Managed_DependentVariableNumber(NULL,f)
 
#define Biddy_CountComplementedEdges(f)   Biddy_Managed_CountComplementedEdges(NULL,f)
 
#define Biddy_CountPaths(f)   Biddy_Managed_CountPaths(NULL,f)
 
#define Biddy_CountMinterms(f, nvars)   Biddy_Managed_CountMinterms(NULL,f,nvars)
 
#define Biddy_DensityOfFunction(f, nvars)   Biddy_Managed_DensityOfFunction(NULL,f,nvars)
 
#define Biddy_DensityOfBDD(f, nvars)   Biddy_Managed_DensityOfBDD(NULL,f,nvars)
 
#define Biddy_ReadMemoryInUse()   Biddy_Managed_ReadMemoryInUse(NULL)
 
#define Biddy_PrintInfo(f)   Biddy_Managed_PrintInfo(NULL,f)
 
#define Biddy_Eval0(s)   Biddy_Managed_Eval0(NULL,s)
 
#define Biddy_Eval1x(s, lf)   Biddy_Managed_Eval1x(NULL,s,lf)
 
#define Biddy_Eval2(boolFunc)   Biddy_Managed_Eval2(NULL,boolFunc)
 
#define Biddy_ReadVerilogFile(filename, prefix)   Biddy_Managed_ReadVerilogFile(NULL,filename,prefix)
 
#define Biddy_PrintfBDD(f)   Biddy_Managed_PrintfBDD(NULL,f)
 
#define Biddy_WriteBDD(filename, f, label)   Biddy_Managed_WriteBDD(NULL,filename,f,label)
 
#define Biddy_PrintfTable(f)   Biddy_Managed_PrintfTable(NULL,f)
 
#define Biddy_WriteTable(filename, f)   Biddy_Managed_WriteTable(NULL,filename,f)
 
#define Biddy_PrintfSOP(f)   Biddy_Managed_PrintfSOP(NULL,f)
 
#define Biddy_WriteSOP(filename, f)   Biddy_Managed_WriteSOP(NULL,filename,f)
 
#define Biddy_WriteDot(filename, f, label, id, cudd)   Biddy_Managed_WriteDot(NULL,filename,f,label,id,cudd);
 
#define Biddy_WriteBddview(filename, f, label, table)   Biddy_Managed_WriteBddview(NULL,filename,f,label,table);
 

Typedefs

typedef char Biddy_Boolean
 
typedef char * Biddy_String
 
typedef void ** Biddy_Manager
 
typedef void * Biddy_Cache
 
typedef unsigned short int Biddy_Variable
 
typedef void * Biddy_Edge
 
typedef void(* Biddy_GCFunction) (Biddy_Manager)
 
typedef Biddy_Boolean(* Biddy_LookupFunction) (Biddy_String, Biddy_Edge *)
 

Detailed Description

File biddy.h contains declaration of all external data structures.

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    [biddy.h]
Revision    [$Revision: 365 $]
Date        [$Date: 2017-12-18 13:01:40 +0100 (pon, 18 dec 2017) $]
Authors     [Robert Meolic (robert.meolic@um.si),
             Ales Casar (ales@homemade.net)]

Copyright

Copyright (C) 2006, 2017 UM FERI, Koroska cesta 46, SI-2000 Maribor, Slovenia

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.

More info

See also: biddyInt.h

Definition in file biddy.h.

Macro Definition Documentation

#define Biddy_IsNull (   f)    (f == NULL)

Biddy_IsNull returns TRUE iff given BDD is a null edge.

Definition at line 150 of file biddy.h.

#define Biddy_IsTerminal (   f)    ((((void**)((uintptr_t) f & ~((uintptr_t) 1)))[2] == NULL) && (((void**)((uintptr_t) f & ~((uintptr_t) 1)))[3] == NULL))

Biddy_IsTerminal returns TRUE iff given edge points to the terminal node.

Definition at line 160 of file biddy.h.

#define Biddy_IsEqvPointer (   f,
 
)    (((uintptr_t) f & ~((uintptr_t) 1)) == ((uintptr_t) g & ~((uintptr_t) 1)))

Biddy_IsEqvPointer returns TRUE iff given edges points to the same node.

Definition at line 165 of file biddy.h.

#define Biddy_GetMark (   f)    (((uintptr_t) f & (uintptr_t) 1) != 0)

Biddy_GetMark returns TRUE iff given edge is complemented.

Definition at line 168 of file biddy.h.

#define Biddy_SetMark (   f)    (f = (Biddy_Edge) ((uintptr_t) f | (uintptr_t) 1))

Biddy_SetMark makes given edge complemented.

Definition at line 171 of file biddy.h.

#define Biddy_ClearMark (   f)    (f = (Biddy_Edge) ((uintptr_t) f & ~((uintptr_t) 1)))

Biddy_ClearMark makes given edge not-complemented.

Definition at line 174 of file biddy.h.

#define Biddy_InvertMark (   f)    (f = (Biddy_Edge) ((uintptr_t) f ^ (uintptr_t) 1))

Biddy_InvertMark changes complement bit of the given edge.

Definition at line 177 of file biddy.h.

#define Biddy_Inv (   f)    ((Biddy_Edge) ((uintptr_t) f ^ (uintptr_t) 1))

Biddy_Inv returns edge with changed complement bit.

Definition at line 181 of file biddy.h.

#define Biddy_InvCond (   f,
 
)    (c ? ((Biddy_Edge) ((uintptr_t) f ^ (uintptr_t) 1)) : f)

Biddy_InvCond returns edge with conditinonaly changed complement bit.

Definition at line 184 of file biddy.h.

#define Biddy_Regular (   f)    ((Biddy_Edge) ((uintptr_t) f & ~((uintptr_t) 1)))

Biddy_Regular returns not-complemented version of edge, since Biddy v1.4.

Definition at line 187 of file biddy.h.

#define Biddy_Complement (   f)    ((Biddy_Edge) ((uintptr_t) f | (uintptr_t) 1))

Biddy_Complement returns complemented version of edge, since Biddy v1.4.

Definition at line 190 of file biddy.h.

#define Biddy_GetTag (   f)    0

Biddy_GetTag returns tag used for the given edge, since Biddy v1.7.

Definition at line 199 of file biddy.h.

#define Biddy_SetTag (   f,
 
)    0

Biddy_SetTag adds tag to the given edge, since Biddy v1.7.

Definition at line 208 of file biddy.h.

#define Biddy_ClearTag (   f)    0

Biddy_ClearTag removes tag from the given edge, since Biddy v1.7.

Definition at line 216 of file biddy.h.

#define Biddy_Untagged (   f)    0

Biddy_Untagged returns untagged version of edge, since Biddy v1.7.

Definition at line 224 of file biddy.h.

#define Biddy_Init ( )    Biddy_InitMNG(NULL,BIDDYTYPEOBDDC)

Macros Biddy_Init and Biddy_InitAnonymous will initialize anonymous manager.

Definition at line 307 of file biddy.h.

#define Biddy_Exit ( )    Biddy_ExitMNG(NULL)

Macro Biddy_Exit will delete anonymous manager.

Definition at line 313 of file biddy.h.

#define Biddy_GetManagerType ( )    Biddy_Managed_GetManagerType(NULL)

Macro Biddy_GetManagerType is defined for use with anonymous manager.

Definition at line 321 of file biddy.h.

#define Biddy_GetManagerName ( )    Biddy_Managed_GetManagerName(NULL)

Macro Biddy_GetManagerName is defined for use with anonymous manager.

Definition at line 326 of file biddy.h.

#define Biddy_SetManagerParameters (   gcr,
  gcrF,
  gcrX,
  rr,
  rrF,
  rrX,
  st,
  cst 
)    Biddy_Managed_SetManagerParameters(NULL,gcr,gcrF,gcrX,rr,rrF,rrX,st,cst)

Macro Biddy_SetManagerParameters is defined for use with anonymous manager.

Definition at line 331 of file biddy.h.

#define Biddy_Managed_GetThen (   MNG,
 
)    Biddy_GetThen(f)

Macro Biddy_Managed_GetThen is defined for your convenience.

Definition at line 336 of file biddy.h.

#define Biddy_Managed_GetElse (   MNG,
 
)    Biddy_GetElse(f)

Macro Biddy_Managed_GetElse is defined for your convenience.

Definition at line 341 of file biddy.h.

#define Biddy_Managed_GetTopVariable (   MNG,
 
)    Biddy_GetTopVariable(f)

Macro Biddy_Managed_GetTopVariable is defined for your convenience.

Definition at line 346 of file biddy.h.

#define Biddy_IsEqv (   f1,
  MNG2,
  f2 
)    Biddy_Managed_IsEqv(NULL,f1,MNG2,f2)

Macro Biddy_IsEqv is defined for use with anonymous manager.

Definition at line 351 of file biddy.h.

#define Biddy_SelectNode (   f)    Biddy_Managed_SelectNode(NULL,f)

Macro Biddy_SelectNode is defined for use with anonymous manager.

Definition at line 356 of file biddy.h.

#define Biddy_DeselectNode (   f)    Biddy_Managed_DeselectNode(NULL,f)

Macro Biddy_DeselectNode is defined for use with anonymous manager.

Definition at line 361 of file biddy.h.

#define Biddy_IsSelected (   f)    Biddy_Managed_IsSelected(NULL,f)

Macro Biddy_IsSelected is defined for use with anonymous manager.

Definition at line 366 of file biddy.h.

#define Biddy_SelectFunction (   f)    Biddy_Managed_SelectFunction(NULL,f)

Macro Biddy_SelectFunction is defined for use with anonymous manager.

Definition at line 371 of file biddy.h.

#define Biddy_DeselectAll ( )    Biddy_Managed_DeselectAll(NULL)

Macro Biddy_DeselectAll is defined for use with anonymous manager.

Definition at line 376 of file biddy.h.

#define Biddy_GetTerminal ( )    Biddy_Managed_GetTerminal(NULL)

Macro Biddy_GetTerminal is defined for use with anonymous manager.

Definition at line 381 of file biddy.h.

#define Biddy_GetConstantZero ( )    Biddy_Managed_GetConstantZero(NULL)

Macro Biddy_GetConstantZero is defined for use with anonymous manager.

Definition at line 386 of file biddy.h.

#define Biddy_GetConstantOne ( )    Biddy_Managed_GetConstantOne(NULL)

Macro Biddy_GetConstantOne is defined for use with anonymous manager.

Definition at line 393 of file biddy.h.

#define Biddy_GetBaseSet ( )    Biddy_Managed_GetBaseSet(NULL)

Macro Biddy_GetBaseSet is defined for use with anonymous manager.

Definition at line 400 of file biddy.h.

#define Biddy_GetVariable (   x)    Biddy_Managed_GetVariable(NULL,x)

Macro Biddy_GetVariable is defined for use with anonymous manager.

Definition at line 405 of file biddy.h.

#define Biddy_GetLowestVariable ( )    Biddy_Managed_GetLowestVariable(NULL)

Macro Biddy_GetLowestVariable is defined for use with anonymous manager.

Definition at line 410 of file biddy.h.

#define Biddy_GetIthVariable (   i)    Biddy_Managed_GetIthVariable(NULL,i)

Macro Biddy_GetIthVariable is defined for use with anonymous manager.

Definition at line 415 of file biddy.h.

#define Biddy_GetPrevVariable (   v)    Biddy_Managed_GetPrevVariable(NULL,v)

Macro Biddy_GetPrevVariable is defined for use with anonymous manager.

Definition at line 420 of file biddy.h.

#define Biddy_GetNextVariable (   v)    Biddy_Managed_GetNextVariable(NULL,v)

Macro Biddy_GetNextVariable is defined for use with anonymous manager.

Definition at line 425 of file biddy.h.

#define Biddy_GetVariableEdge (   v)    Biddy_Managed_GetVariableEdge(NULL,v)

Macro Biddy_GetVariableEdge is defined for use with anonymous manager.

Definition at line 430 of file biddy.h.

#define Biddy_GetElementEdge (   v)    Biddy_Managed_GetElementEdge(NULL,v)

Macro Biddy_GetElementEdge is defined for use with anonymous manager.

Definition at line 435 of file biddy.h.

#define Biddy_GetVariableName (   v)    Biddy_Managed_GetVariableName(NULL,v)

Macro Biddy_GetVariableName is defined for use with anonymous manager.

Definition at line 440 of file biddy.h.

#define Biddy_GetTopVariableEdge (   f)    Biddy_Managed_GetTopVariableEdge(NULL,f)

Macro Biddy_GetTopVariableEdge is defined for use with anonymous manager.

Definition at line 445 of file biddy.h.

#define Biddy_GetTopVariableName (   f)    Biddy_Managed_GetTopVariableName(NULL,f)

Macro Biddy_GetTopVariableName is defined for use with anonymous manager.

Definition at line 450 of file biddy.h.

#define Biddy_GetTopVariableChar (   f)    Biddy_Managed_GetTopVariableChar(NULL,f)

Macro Biddy_GetTopVariableChar is defined for use with anonymous manager.

Definition at line 455 of file biddy.h.

#define Biddy_ResetVariablesValue ( )    Biddy_Managed_ResetVariablesValue(NULL)

Macro Biddy_ResetVariablesValue is defined for use with anonymous manager.

Definition at line 460 of file biddy.h.

#define Biddy_SetVariableValue (   v,
 
)    Biddy_Managed_SetVariableValue(NULL,v,f)

Macro Biddy_SetVariableValue is defined for use with anonymous manager.

Definition at line 465 of file biddy.h.

#define Biddy_GetVariableValue (   v)    Biddy_Managed_GetVariableValue(NULL,v)

Macro Biddy_GetVariableValue is defined for use with anonymous manager.

Definition at line 470 of file biddy.h.

#define Biddy_ClearVariablesData ( )    Biddy_Managed_ClearVariablesData(NULL)

Macro Biddy_ClearVariablesData is defined for use with anonymous manager.

Definition at line 475 of file biddy.h.

#define Biddy_SetVariableData (   v,
 
)    Biddy_Managed_SetVariableData(NULL,v,x)

Macro Biddy_SetVariableData is defined for use with anonymous manager.

Definition at line 480 of file biddy.h.

#define Biddy_GetVariableData (   v)    Biddy_Managed_GetVariableData(NULL,v)

Macro Biddy_GetVariableData is defined for use with anonymous manager.

Definition at line 485 of file biddy.h.

#define Biddy_IsSmaller (   fv,
  gv 
)    Biddy_Managed_IsSmaller(NULL,fv,gv)

Macro Biddy_IsSmaller is defined for use with anonymous manager.

Definition at line 490 of file biddy.h.

#define Biddy_IsLowest (   v)    Biddy_Managed_IsLowest(NULL,v)

Macro Biddy_IsLowest is defined for use with anonymous manager.

Definition at line 495 of file biddy.h.

#define Biddy_IsHighest (   v)    Biddy_Managed_IsHighest(NULL,v)

Macro Biddy_IsHighest is defined for use with anonymous manager.

Definition at line 500 of file biddy.h.

#define Biddy_FoaVariable (   x,
  varelem 
)    Biddy_Managed_FoaVariable(NULL,x,varelem)

Macro Biddy_FoaVariable is defined for use with anonymous manager.

Definition at line 505 of file biddy.h.

#define Biddy_ChangeVariableName (   v,
 
)    Biddy_Managed_ChangeVariableName(NULL,v,x)

Macro Biddy_ChangeVariableName is defined for use with anonymous manager.

Definition at line 510 of file biddy.h.

#define Biddy_AddVariableByName (   x)    Biddy_Managed_AddVariableByName(NULL,x)

Macro Biddy_AddVariableByName is defined for use with anonymous manager.

Definition at line 515 of file biddy.h.

#define Biddy_AddElementByName (   x)    Biddy_Managed_AddElementByName(NULL,x)

Macro Biddy_AddElementByName is defined for use with anonymous manager.

Definition at line 522 of file biddy.h.

#define Biddy_AddVariableBelow (   v)    Biddy_Managed_AddVariableBelow(NULL,v)

Macro Biddy_AddVariableBelow is defined for use with anonymous manager.

Definition at line 529 of file biddy.h.

#define Biddy_AddVariableAbove (   v)    Biddy_Managed_AddVariableAbove(NULL,v)

Macro Biddy_AddVariableAbove is defined for use with anonymous manager.

Definition at line 534 of file biddy.h.

#define Biddy_TransferMark (   f,
  mark,
  leftright 
)    Biddy_Managed_TransferMark(NULL,f,mark,leftright)

Macro Biddy_TransferMark is defined for use with anonymous manager.

For OBDD, use macro Biddy_InvCond.

Definition at line 540 of file biddy.h.

#define Biddy_IncTag (   f)    Biddy_Managed_IncTag(NULL,f)

Macro Biddy_IncTag is defined for use with anonymous manager.

Definition at line 545 of file biddy.h.

#define Biddy_TaggedFoaNode (   v,
  pf,
  pt,
  ptag,
  garbageAllowed 
)    Biddy_Managed_TaggedFoaNode(NULL,v,pf,pt,ptag,garbageAllowed)

Macro Biddy_TaggedFoaNode is defined for use with anonymous manager.

Definition at line 550 of file biddy.h.

#define Biddy_IsOK (   f)    Biddy_Managed_IsOK(NULL,f)

Macro Biddy_IsOK is defined for use with anonymous manager.

Definition at line 557 of file biddy.h.

#define Biddy_GC (   targetLT,
  targetGEQ,
  purge,
  total 
)    Biddy_Managed_GC(NULL,targetLT,targetGEQ,purge,total)

Macro Biddy_GC is defined for use with anonymous manager.

Macros Biddy_Managed_FullGC and Biddy_FullGC are useful variants.

Definition at line 563 of file biddy.h.

#define Biddy_Clean ( )    Biddy_Managed_Clean(NULL)

Macro Biddy_Clean is defined for use with anonymous manager.

Definition at line 570 of file biddy.h.

#define Biddy_Purge ( )    Biddy_Managed_Purge(NULL)

Macro Biddy_Purge is defined for use with anonymous manager.

Definition at line 575 of file biddy.h.

#define Biddy_PurgeAndReorder (   f,
 
)    Biddy_Managed_PurgeAndReorder(NULL,f,c)

Macro Biddy_PurgeAndReorder is defined for use with anonymous manager.

Definition at line 580 of file biddy.h.

#define Biddy_Refresh (   f)    Biddy_Managed_Refresh(NULL,f)

Macro Biddy_Refresh is defined for use with anonymous manager.

Definition at line 585 of file biddy.h.

#define Biddy_AddCache (   gc)    Biddy_Managed_AddCache(NULL,gc)

Macro Biddy_AddCache is defined for use with anonymous manager.

Definition at line 590 of file biddy.h.

#define Biddy_AddFormula (   x,
  f,
 
)    Biddy_Managed_AddFormula(NULL,x,f,c)

Macro Biddy_AddFormula is defined for use with anonymous manager.

Macros Biddy_Managed_AddTmpFormula, Biddy_AddTmpFormula,

Biddy_Managed_AddPreservedFormula, Biddy_AddPreservedFormula,

Biddy_Managed_AddPersistentFormula, Biddy_AddPersistentFormula,

Biddy_Managed_KeepFormula, Biddy_KeepFormula,

Biddy_Managed_KeepFormulaUntilDelete, and Biddy_KeepFormulaUntilDelete

are defined to simplify formulae management.

Definition at line 601 of file biddy.h.

#define Biddy_FindFormula (   x,
  idx,
 
)    Biddy_Managed_FindFormula(NULL,x,idx,f)

Macro Biddy_FindFormula is defined for use with anonymous manager.

Definition at line 616 of file biddy.h.

#define Biddy_DeleteFormula (   x)    Biddy_Managed_DeleteFormula(NULL,x)

Macro Biddy_DeleteFormula is defined for use with anonymous manager.

Definition at line 621 of file biddy.h.

#define Biddy_DeleteIthFormula (   x)    Biddy_Managed_DeleteIthFormula(NULL,x)

Macro Biddy_DeleteIthFormula is defined for use with anonymous manager.

Definition at line 626 of file biddy.h.

#define Biddy_GetIthFormula (   i)    Biddy_Managed_GetIthFormula(NULL,i)

Macro Biddy_GetIthFormula is defined for use with anonymous manager.

Definition at line 631 of file biddy.h.

#define Biddy_GetIthFormulaName (   i)    Biddy_Managed_GetIthFormulaName(NULL,i)

Macro Biddy_GetIthFormulaName is defined for use with anonymous manager.

Definition at line 636 of file biddy.h.

#define Biddy_SwapWithHigher (   v)    Biddy_Managed_SwapWithHigher(NULL,v)

Macro Biddy_SwapWithHigher is defined for use with anonymous manager.

Definition at line 641 of file biddy.h.

#define Biddy_SwapWithLower (   v)    Biddy_Managed_SwapWithLower(NULL,v)

Macro Biddy_SwapWithLower is defined for use with anonymous manager.

Definition at line 646 of file biddy.h.

#define Biddy_Sifting (   f,
 
)    Biddy_Managed_Sifting(NULL,f,c)

Macro Biddy_Sifting is defined for use with anonymous manager.

Definition at line 651 of file biddy.h.

#define Biddy_MinimizeBDD (   f)    Biddy_Managed_MinimizeBDD(NULL,f)

Macro Biddy_MinimizeBDD is defined for use with anonymous manager.

Definition at line 656 of file biddy.h.

#define Biddy_MaximizeBDD (   f)    Biddy_Managed_MaximizeBDD(NULL,f)

Macro Biddy_MaximizeBDD is defined for use with anonymous manager.

Definition at line 661 of file biddy.h.

#define Biddy_Copy (   MNG2,
 
)    Biddy_Managed_Copy(NULL,MNG2,f)

Macro Biddy_Copy is defined for use with anonymous manager.

Definition at line 666 of file biddy.h.

#define Biddy_CopyFormula (   MNG2,
 
)    Biddy_Managed_CopyFormula(NULL,MNG2,x)

Macro Biddy_CopyFormula is defined for use with anonymous manager.

Definition at line 671 of file biddy.h.

#define Biddy_Eval (   f)    Biddy_Managed_Eval(NULL,f)

Macro Biddy_Eval is defined for use with anonymous manager.

Definition at line 676 of file biddy.h.

#define Biddy_Not (   f)    Biddy_Managed_Not(NULL,f)

Macro Biddy_Not is defined for use with anonymous manager.

For OBDD and OFDD, use macro Biddy_Inv.

Definition at line 694 of file biddy.h.

#define Biddy_ITE (   f,
  g,
 
)    Biddy_Managed_ITE(NULL,f,g,h)

Macro Biddy_ITE is defined for use with anonymous manager.

Definition at line 699 of file biddy.h.

#define Biddy_And (   f,
 
)    Biddy_Managed_And(NULL,f,g)

Macro Biddy_And is defined for use with anonymous manager.

Macros Biddy_Managed_Intersect and Biddy_Intersect are defined for set manipulation.

Definition at line 705 of file biddy.h.

#define Biddy_Or (   f,
 
)    Biddy_Managed_Or(NULL,f,g)

Macro Biddy_Or is defined for use with anonymous manager.

Macros Biddy_Managed_Union and Biddy_Union are defined for set manipulation.

Definition at line 713 of file biddy.h.

#define Biddy_Nand (   f,
 
)    Biddy_Managed_Nand(NULL,f,g)

Macro Biddy_Nand is defined for use with anonymous manager.

Definition at line 720 of file biddy.h.

#define Biddy_Nor (   f,
 
)    Biddy_Managed_Nor(NULL,f,g)

Macro Biddy_Nor is defined for use with anonymous manager.

Definition at line 725 of file biddy.h.

#define Biddy_Xor (   f,
 
)    Biddy_Managed_Xor(NULL,f,g)

Macro Biddy_Xor is defined for use with anonymous manager.

Definition at line 730 of file biddy.h.

#define Biddy_Xnor (   f,
 
)    Biddy_Managed_Xnor(NULL,f,g)

Macro Biddy_Xnor is defined for use with anonymous manager.

Definition at line 735 of file biddy.h.

#define Biddy_Leq (   f,
 
)    Biddy_Managed_Leq(NULL,f,g)

Macro Biddy_Leq is defined for use with anonymous manager.

Definition at line 740 of file biddy.h.

#define Biddy_Gt (   f,
 
)    Biddy_Managed_Gt(NULL,f,g)

Macro Biddy_Gt is defined for use with anonymous manager.

Definition at line 745 of file biddy.h.

#define Biddy_IsLeq (   f,
 
)    Biddy_Managed_IsLeq(NULL,f,g)

Macro Biddy_IsLeq is defined for use with anonymous manager.

Definition at line 752 of file biddy.h.

#define Biddy_Restrict (   f,
  v,
  value 
)    Biddy_Managed_Restrict(NULL,f,v,value)

Macro Biddy_Restrict is defined for use with anonymous manager.

Definition at line 758 of file biddy.h.

#define Biddy_Compose (   f,
  g,
 
)    Biddy_Managed_Compose(NULL,f,g,v)

Macro Biddy_Compose is defined for use with anonymous manager.

Definition at line 763 of file biddy.h.

#define Biddy_E (   f,
 
)    Biddy_Managed_E(NULL,f,v)

Macro Biddy_E is defined for use with anonymous manager.

Definition at line 768 of file biddy.h.

#define Biddy_A (   f,
 
)    Biddy_Managed_A(NULL,f,v)

Macro Biddy_A is defined for use with anonymous manager.

Definition at line 773 of file biddy.h.

#define Biddy_IsVariableDependent (   f,
 
)    Biddy_Managed_IsVariableDependent(NULL,f,v)

Macro Biddy_IsVariableDependent is defined for use with anonymous manager.

Definition at line 778 of file biddy.h.

#define Biddy_ExistAbstract (   f,
  cube 
)    Biddy_Managed_ExistAbstract(NULL,f,cube)

Macro Biddy_ExistAbstract is defined for use with anonymous manager.

Definition at line 783 of file biddy.h.

#define Biddy_UnivAbstract (   f,
  cube 
)    Biddy_Managed_UnivAbstract(NULL,f,cube)

Macro Biddy_UnivAbstract is defined for use with anonymous manager.

Definition at line 788 of file biddy.h.

#define Biddy_AndAbstract (   f,
  g,
  cube 
)    Biddy_Managed_AndAbstract(NULL,f,g,cube)

Macro Biddy_AndAbstract is defined for use with anonymous manager.

Definition at line 793 of file biddy.h.

#define Biddy_Constrain (   f,
 
)    Biddy_Managed_Constrain(NULL,f,c)

Macro Biddy_Constrain is defined for use with anonymous manager.

Definition at line 798 of file biddy.h.

#define Biddy_Simplify (   f,
 
)    Biddy_Managed_Simplify(NULL,f,c)

Macro Biddy_Simplify is defined for use with anonymous manager.

Definition at line 804 of file biddy.h.

#define Biddy_Support (   f)    Biddy_Managed_Support(NULL,f)

Macro Biddy_Support is defined for use with anonymous manager.

Definition at line 809 of file biddy.h.

#define Biddy_ReplaceByKeyword (   f,
  keyword 
)    Biddy_Managed_ReplaceByKeyword(NULL,f,keyword)

Macro Biddy_ReplaceByKeyword is defined for use with anonymous manager.

Macros Biddy_Managed_Replace and Biddy_Replace are variants

with less effective cache table

Definition at line 816 of file biddy.h.

#define Biddy_Change (   f,
 
)    Biddy_Managed_Change(NULL,f,v)

Macro Biddy_Change is defined for use with anonymous manager.

Definition at line 823 of file biddy.h.

#define Biddy_Subset (   f,
  v,
  value 
)    Biddy_Managed_Subset(NULL,f,v,value)

Macro Biddy_Subset is defined for use with anonymous manager.

Definition at line 829 of file biddy.h.

#define Biddy_CreateMinterm (   support,
 
)    Biddy_Managed_CreateMinterm(NULL,support,x)

Macro Biddy_CreateMinterm is defined for use with anonymous manager.

Definition at line 838 of file biddy.h.

#define Biddy_CreateFunction (   support,
 
)    Biddy_Managed_CreateFunction(NULL,support,x)

Macro Biddy_CreateFunction is defined for use with anonymous manager.

Definition at line 843 of file biddy.h.

#define Biddy_RandomFunction (   support,
 
)    Biddy_Managed_RandomFunction(NULL,support,r)

Macro Biddy_RandomFunction is defined for use with anonymous manager.

Definition at line 848 of file biddy.h.

#define Biddy_RandomSet (   unit,
 
)    Biddy_Managed_RandomSet(NULL,unit,r)

Macro Biddy_RandomSet is defined for use with anonymous manager.

Definition at line 853 of file biddy.h.

#define Biddy_CountNodes (   f)    Biddy_Managed_CountNodes(NULL,f)

Macro Biddy_CountNodes(f) is defined for use with anonymous manager.

Definition at line 874 of file biddy.h.

#define Biddy_Managed_MaxLevel (   MNG,
 
)    Biddy_MaxLevel(f)

Macro Biddy_Managed_MaxLevel(MNG,f) is defined for your convenience.

Definition at line 879 of file biddy.h.

#define Biddy_Managed_AvgLevel (   MNG,
 
)    Biddy_AvgLevel(f)

Macro Biddy_Managed_AvgLevel(MNG,f) is defined for your convenience.

Definition at line 884 of file biddy.h.

#define Biddy_VariableTableNum ( )    Biddy_Managed_VariableTableNum(NULL)

Macro Biddy_VariableTableNum is defined for use with anonymous manager.

Definition at line 889 of file biddy.h.

#define Biddy_NodeTableSize ( )    Biddy_Managed_NodeTableSize(NULL)

Macro Biddy_NodeTableSize is defined for use with anonymous manager.

Definition at line 894 of file biddy.h.

#define Biddy_NodeTableBlockNumber ( )    Biddy_Managed_NodeTableBlockNumber(NULL)

Macro Biddy_NodeTableBlockNumber is defined for use with anonymous manager.

Definition at line 899 of file biddy.h.

#define Biddy_NodeTableGenerated ( )    Biddy_Managed_NodeTableGenerated(NULL)

Macro Biddy_NodeTableGenerated is defined for use with anonymous manager.

Definition at line 904 of file biddy.h.

#define Biddy_NodeTableMax ( )    Biddy_Managed_NodeTableMax(NULL)

Macro Biddy_NodeTableMax is defined for use with anonymous manager.

Definition at line 909 of file biddy.h.

#define Biddy_NodeTableNum ( )    Biddy_Managed_NodeTableNum(NULL)

Macro Biddy_NodeTableNum is defined for use with anonymous manager.

Definition at line 914 of file biddy.h.

#define Biddy_NodeTableNumVar (   v)    Biddy_Managed_NodeTableNumVar(NULL,v)

Macro Biddy_NodeTableNumVar is defined for use with anonymous manager.

Definition at line 919 of file biddy.h.

#define Biddy_NodeTableResizeNumber ( )    Biddy_Managed_NodeTableResizeNumber(NULL)

Macro Biddy_NodeTableResizeNumber is defined for use with anonymous manager.

Definition at line 924 of file biddy.h.

#define Biddy_NodeTableFoaNumber ( )    Biddy_Managed_NodeTableFoaNumber(NULL)

Macro Biddy_NodeTableFoaNumber is defined for use with anonymous manager.

Definition at line 929 of file biddy.h.

#define Biddy_NodeTableFindNumber ( )    Biddy_Managed_NodeTableFindNumber(NULL)

Macro Biddy_NodeTableFindNumber is defined for use with anonymous manager.

Definition at line 934 of file biddy.h.

#define Biddy_NodeTableCompareNumber ( )    Biddy_Managed_NodeTableCompareNumber(NULL)

Macro Biddy_NodeTableCompareNumber is defined for use with anonymous manager.

Definition at line 939 of file biddy.h.

#define Biddy_NodeTableAddNumber ( )    Biddy_Managed_NodeTableAddNumber(NULL)

Macro Biddy_NodeTableAddNumber is defined for use with anonymous manager.

Definition at line 944 of file biddy.h.

#define Biddy_NodeTableGCNumber ( )    Biddy_Managed_NodeTableGCNumber(NULL)

Macro Biddy_NodeTableGCNumber is defined for use with anonymous manager.

Definition at line 949 of file biddy.h.

#define Biddy_NodeTableGCTime ( )    Biddy_Managed_NodeTableGCTime(NULL)

Macro Biddy_NodeTableGCTime is defined for use with anonymous manager.

Definition at line 954 of file biddy.h.

#define Biddy_NodeTableGCObsoleteNumber ( )    Biddy_Managed_NodeTableGCObsoleteNumber(NULL)

Macro Biddy_NodeTableGCObsoleteNumber is defined for use with anonymous manager.

Definition at line 959 of file biddy.h.

#define Biddy_NodeTableSwapNumber ( )    Biddy_Managed_NodeTableSwapNumber(NULL)

Macro Biddy_NodeTableSwapNumber is defined for use with anonymous manager.

Definition at line 964 of file biddy.h.

#define Biddy_NodeTableSiftingNumber ( )    Biddy_Managed_NodeTableSiftingNumber(NULL)

Macro Biddy_NodeTableSiftingNumber is defined for use with anonymous manager.

Definition at line 969 of file biddy.h.

#define Biddy_NodeTableDRTime ( )    Biddy_Managed_NodeTableDRTime(NULL)

Macro Biddy_NodeTableDRTime is defined for use with anonymous manager.

Definition at line 974 of file biddy.h.

#define Biddy_NodeTableITENumber ( )    Biddy_Managed_NodeTableITENumber(NULL)

Macro Biddy_NodeTableITENumber is defined for use with anonymous manager.

Definition at line 979 of file biddy.h.

#define Biddy_NodeTableITERecursiveNumber ( )    Biddy_Managed_NodeTableITERecursiveNumber(NULL)

Macro Biddy_NodeTableITERecursiveNumber is defined for use with anonymous manager.

Definition at line 984 of file biddy.h.

#define Biddy_NodeTableANDORNumber ( )    Biddy_Managed_NodeTableANDORNumber(NULL)

Macro Biddy_NodeTableANDORNumber is defined for use with anonymous manager.

Definition at line 989 of file biddy.h.

#define Biddy_NodeTableANDORRecursiveNumber ( )    Biddy_Managed_NodeTableANDORRecursiveNumber(NULL)

Macro Biddy_NodeTableANDORRecursiveNumber is defined for use with anonymous manager.

Definition at line 994 of file biddy.h.

#define Biddy_NodeTableXORNumber ( )    Biddy_Managed_NodeTableXORNumber(NULL)

Macro Biddy_NodeTableXORNumber is defined for use with anonymous manager.

Definition at line 999 of file biddy.h.

#define Biddy_NodeTableXORRecursiveNumber ( )    Biddy_Managed_NodeTableXORRecursiveNumber(NULL)

Macro Biddy_NodeTableXORRecursiveNumber is defined for use with anonymous manager.

Definition at line 1004 of file biddy.h.

#define Biddy_FormulaTableNum ( )    Biddy_Managed_FormulaTableNum(NULL)

Macro Biddy_FormulaTableNum is defined for use with anonymous manager.

Definition at line 1009 of file biddy.h.

#define Biddy_ListUsed ( )    Biddy_Managed_ListUsed(NULL)

Macro Biddy_ListUsed is defined for use with anonymous manager.

Definition at line 1014 of file biddy.h.

#define Biddy_ListMaxLength ( )    Biddy_Managed_ListMaxLength(NULL)

Macro Biddy_ListMaxLength is defined for use with anonymous manager.

Definition at line 1019 of file biddy.h.

#define Biddy_ListAvgLength ( )    Biddy_Managed_ListAvgLength(NULL)

Macro Biddy_ListAvgLength is defined for use with anonymous manager.

Definition at line 1024 of file biddy.h.

#define Biddy_OPCacheSearch ( )    Biddy_Managed_OPCacheSearch(NULL)

Macro Biddy_OPCacheSearch is defined for use with anonymous manager.

Definition at line 1029 of file biddy.h.

#define Biddy_OPCacheFind ( )    Biddy_Managed_OPCacheFind(NULL)

Macro Biddy_OPCacheFind is defined for use with anonymous manager.

Definition at line 1034 of file biddy.h.

#define Biddy_OPCacheInsert ( )    Biddy_Managed_OPCacheInsert(NULL)

Macro Biddy_OPCacheInsert is defined for use with anonymous manager.

Definition at line 1039 of file biddy.h.

#define Biddy_OPCacheOverwrite ( )    Biddy_Managed_OPCacheOverwrite(NULL)

Macro Biddy_OPCacheOverwrite is defined for use with anonymous manager.

Definition at line 1044 of file biddy.h.

#define Biddy_CountNodesPlain (   f)    Biddy_Managed_CountNodesPlain(NULL,f)

Macro Biddy_CountNodesPlain is defined for use with anonymous manager.

Definition at line 1049 of file biddy.h.

#define Biddy_DependentVariableNumber (   f)    Biddy_Managed_DependentVariableNumber(NULL,f)

Macro Biddy_DependentVariableNumber is defined for use with anonymous manager.

Definition at line 1054 of file biddy.h.

#define Biddy_CountComplementedEdges (   f)    Biddy_Managed_CountComplementedEdges(NULL,f)

Macro Biddy_CountComplementedEdges is defined for use with anonymous manager.

Definition at line 1059 of file biddy.h.

#define Biddy_CountPaths (   f)    Biddy_Managed_CountPaths(NULL,f)

Macro Biddy_CountPaths is defined for use with anonymous manager.

Definition at line 1064 of file biddy.h.

#define Biddy_CountMinterms (   f,
  nvars 
)    Biddy_Managed_CountMinterms(NULL,f,nvars)

Macro Biddy_CountMinterms is defined for use with anonymous manager.

Definition at line 1069 of file biddy.h.

#define Biddy_DensityOfFunction (   f,
  nvars 
)    Biddy_Managed_DensityOfFunction(NULL,f,nvars)

Macro Biddy_DensityOfFunction is defined for use with anonymous manager.

Definition at line 1076 of file biddy.h.

#define Biddy_DensityOfBDD (   f,
  nvars 
)    Biddy_Managed_DensityOfBDD(NULL,f,nvars)

Macro Biddy_DensityOfBDD is defined for use with anonymous manager.

Definition at line 1081 of file biddy.h.

#define Biddy_ReadMemoryInUse ( )    Biddy_Managed_ReadMemoryInUse(NULL)

Macro Biddy_ReadMemoryInUse is defined for use with anonymous manager.

Definition at line 1086 of file biddy.h.

#define Biddy_PrintInfo (   f)    Biddy_Managed_PrintInfo(NULL,f)

Macro Biddy_PrintInfo is defined for use with anonymous manager.

Definition at line 1091 of file biddy.h.

#define Biddy_Eval0 (   s)    Biddy_Managed_Eval0(NULL,s)

Macro Biddy_Eval0 is defined for use with anonymous manager.

Definition at line 1108 of file biddy.h.

#define Biddy_Eval1x (   s,
  lf 
)    Biddy_Managed_Eval1x(NULL,s,lf)

Macro Biddy_Eval1x is defined for use with anonymous manager.

Definition at line 1113 of file biddy.h.

#define Biddy_Eval2 (   boolFunc)    Biddy_Managed_Eval2(NULL,boolFunc)

Macro Biddy_Eval2 is defined for use with anonymous manager.

Definition at line 1120 of file biddy.h.

#define Biddy_ReadVerilogFile (   filename,
  prefix 
)    Biddy_Managed_ReadVerilogFile(NULL,filename,prefix)

Macro Biddy_ReadVerilogFile is defined for use with anonymous manager.

Definition at line 1125 of file biddy.h.

#define Biddy_PrintfBDD (   f)    Biddy_Managed_PrintfBDD(NULL,f)

Macro Biddy_PrintfBDD is defined for use with anonymous manager.

Definition at line 1130 of file biddy.h.

#define Biddy_WriteBDD (   filename,
  f,
  label 
)    Biddy_Managed_WriteBDD(NULL,filename,f,label)

Macro Biddy_WriteBDD is defined for use with anonymous manager.

Definition at line 1135 of file biddy.h.

#define Biddy_PrintfTable (   f)    Biddy_Managed_PrintfTable(NULL,f)

Macro Biddy_PrintfTable is defined for use with anonymous manager.

Definition at line 1140 of file biddy.h.

#define Biddy_WriteTable (   filename,
 
)    Biddy_Managed_WriteTable(NULL,filename,f)

Macro Biddy_WriteTable is defined for use with anonymous manager.

Definition at line 1145 of file biddy.h.

#define Biddy_PrintfSOP (   f)    Biddy_Managed_PrintfSOP(NULL,f)

Macro Biddy_PrintfSOP is defined for use with anonymous manager.

Definition at line 1150 of file biddy.h.

#define Biddy_WriteSOP (   filename,
 
)    Biddy_Managed_WriteSOP(NULL,filename,f)

Macro Biddy_WriteSOP is defined for use with anonymous manager.

Definition at line 1155 of file biddy.h.

#define Biddy_WriteDot (   filename,
  f,
  label,
  id,
  cudd 
)    Biddy_Managed_WriteDot(NULL,filename,f,label,id,cudd);

Macro Biddy_WriteDot is defined for use with anonymous manager.

Definition at line 1160 of file biddy.h.

#define Biddy_WriteBddview (   filename,
  f,
  label,
  table 
)    Biddy_Managed_WriteBddview(NULL,filename,f,label,table);

Macro Biddy_WriteBddview is defined for use with anonymous manager.

Definition at line 1165 of file biddy.h.

Typedef Documentation

typedef char Biddy_Boolean

Biddy_Boolean is used for boolean values.

Definition at line 232 of file biddy.h.

typedef char* Biddy_String

Biddy_String is used for strings.

Definition at line 235 of file biddy.h.

typedef void** Biddy_Manager

Biddy_Manager is used to specify manager. Manager is a pointer to BiddyManager. A manager includes Node Table, Variable Table, Formulae Table, Ordering Table, three basic caches (ITE Cache, EA Cache and RC Cache), list of user's caches, system age and some other structures needed for memory management. Internal structure of BiddyManager is not exported but must be imitated to create user's managers

Definition at line 244 of file biddy.h.

typedef void* Biddy_Cache

Biddy_Cache is used to specify user's cache table. Caches for different operations are different and the user is responsible for the correct internal structure.

Definition at line 249 of file biddy.h.

typedef unsigned short int Biddy_Variable

Biddy_Variable is used for indices in variable table.

Definition at line 253 of file biddy.h.

typedef void* Biddy_Edge

Biddy_Edge is a marked edge (i.e. a marked pointer to BiddyNode). Mark is encoded as the value of the last significant bit. For TZBDDs and TZFDDs, edges are tagged. Tag is a 16 bit number (unsigned short int) whish is stored in the highest part of the pointer (this is safe because only 48 bits are used). TZBDDs and TZFDDs are supported only on 64-bits architectures. Internal structure of BiddyNode is not visible to the user.

Definition at line 262 of file biddy.h.

typedef void(* Biddy_GCFunction) (Biddy_Manager)

Biddy_GCFunction is used in Biddy_AddCache to specify user's function which will performs garbage collection.

Definition at line 266 of file biddy.h.

typedef Biddy_Boolean(* Biddy_LookupFunction) (Biddy_String, Biddy_Edge *)

Biddy_LookupFunction is used in Biddy_Eval1x to specify user's function which will lookups in a user's formula table.

Definition at line 270 of file biddy.h.