Biddy  1.7.1
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_IsConstant(f)   ((((void**)((uintptr_t) f & ~((uintptr_t) 1)))[2] == NULL) && (((void**)((uintptr_t) f & ~((uintptr_t) 1)))[3] == NULL))
 
#define Biddy_IsTaggedConstant(f)   (((uintptr_t) f >> 48 == 0) && (((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)   ((Biddy_Variable) ((uintptr_t) f >> 48))
 
#define Biddy_SetTag(f, t)   (f = (Biddy_Edge) (((uintptr_t) f & 0x0000ffffffffffff) | ((uintptr_t) t << 48)))
 
#define Biddy_ClearTag(f)   (f = (Biddy_Edge) ((uintptr_t) f & 0x0000ffffffffffff))
 
#define Biddy_Init()   Biddy_InitMNG(NULL,BIDDYTYPEOBDD)
 
#define Biddy_Exit()   Biddy_ExitMNG(NULL)
 
#define Biddy_GetManagerType()   Biddy_Managed_GetManagerType(NULL)
 
#define Biddy_SetManagerParameters(gcr, gcrF, gcrX, rr, rrF, rrX, st, fst, cst, fcst)   Biddy_Managed_SetManagerParameters(NULL,gcr,gcrF,gcrX,rr,rrF,rrX,st,fst,cst,fcst)
 
#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_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_IsSmaller(fv, gv)   Biddy_Managed_IsSmaller(NULL,fv,gv)
 
#define Biddy_FoaVariable(x, varelem)   Biddy_Managed_FoaVariable(NULL,x,varelem)
 
#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_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_Replace(f)   Biddy_Managed_Replace(NULL,f)
 
#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_IsOK(f)   Biddy_Managed_IsOK(NULL,f)
 
#define Biddy_GC(target, purge, total)   Biddy_Managed_GC(NULL,target,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, f)   Biddy_Managed_FindFormula(NULL,x,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_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_Random(support, r)   Biddy_Managed_Random(NULL,support,r)
 
#define Biddy_RandomSet(unit, r)   Biddy_Managed_RandomSet(NULL,unit,r)
 
#define Biddy_NodeNumber(f)   Biddy_Managed_NodeNumber(NULL,f)
 
#define Biddy_Managed_NodeMaxLevel(MNG, f)   Biddy_NodeMaxLevel(f)
 
#define Biddy_Managed_NodeAvgLevel(MNG, f)   Biddy_NodeAvgLevel(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_NodeTableGCNumber()   Biddy_Managed_NodeTableGCNumber(NULL)
 
#define Biddy_NodeTableSwapNumber()   Biddy_Managed_NodeTableSwapNumber(NULL)
 
#define Biddy_NodeTableSiftingNumber()   Biddy_Managed_NodeTableSiftingNumber(NULL)
 
#define Biddy_NodeTableResizeNumber()   Biddy_Managed_NodeTableResizeNumber(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_NodeTableGCTime()   Biddy_Managed_NodeTableGCTime(NULL)
 
#define Biddy_NodeTableGCObsoleteNumber()   Biddy_Managed_NodeTableGCObsoleteNumber(NULL)
 
#define Biddy_NodeTableDRTime()   Biddy_Managed_NodeTableDRTime(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_OPCacheOverwrite()   Biddy_Managed_OPCacheOverwrite(NULL)
 
#define Biddy_NodeNumberPlain(f)   Biddy_Managed_NodeNumberPlain(NULL,f)
 
#define Biddy_DependentVariableNumber(f)   Biddy_Managed_DependentVariableNumber(NULL,f)
 
#define Biddy_NodeVarNumber(f, n, v)   Biddy_Managed_NodeVarNumber(NULL,f,n,v)
 
#define Biddy_CountPaths(f)   Biddy_Managed_CountPaths(NULL,f)
 
#define Biddy_CountMinterm(f, nvars)   Biddy_Managed_CountMinterm(NULL,f,nvars)
 
#define Biddy_DensityFunction(f, nvars)   Biddy_Managed_DensityFunction(NULL,f,nvars)
 
#define Biddy_DensityBDD(f, nvars)   Biddy_Managed_DensityBDD(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. 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: 252 $]
Date        [$Date: 2017-03-17 23:30:03 +0100 (pet, 17 mar 2017) $]
Authors     [Robert Meolic (robert.meolic@um.si),
             Ales Casar (ales@homemade.net)]

Copyright

Copyright (C) 2006, 2017 UM-FERI, Smetanova ulica 17, 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 121 of file biddy.h.

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

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

Definition at line 130 of file biddy.h.

#define Biddy_IsTaggedConstant (   f)    (((uintptr_t) f >> 48 == 0) && (((void**)((uintptr_t) f & ~((uintptr_t) 1)))[2] == NULL) && (((void**)((uintptr_t) f & ~((uintptr_t) 1)))[3] == NULL))

Biddy_IsTaggedConstant returns TRUE iff given edge points to the terminal node and it represents constant 0 or 1, since Biddy v1.7.

Definition at line 139 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 144 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 147 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 150 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 153 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 156 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 160 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 163 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 166 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 169 of file biddy.h.

#define Biddy_GetTag (   f)    ((Biddy_Variable) ((uintptr_t) f >> 48))

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

Definition at line 174 of file biddy.h.

#define Biddy_SetTag (   f,
 
)    (f = (Biddy_Edge) (((uintptr_t) f & 0x0000ffffffffffff) | ((uintptr_t) t << 48)))

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

Definition at line 180 of file biddy.h.

#define Biddy_ClearTag (   f)    (f = (Biddy_Edge) ((uintptr_t) f & 0x0000ffffffffffff))

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

Definition at line 184 of file biddy.h.

#define Biddy_Init ( )    Biddy_InitMNG(NULL,BIDDYTYPEOBDD)

Macros Biddy_Init and Biddy_InitAnonymous will initialize anonymous manager.

Definition at line 266 of file biddy.h.

#define Biddy_Exit ( )    Biddy_ExitMNG(NULL)

Macro Biddy_Exit will delete anonymous manager.

Definition at line 272 of file biddy.h.

#define Biddy_GetManagerType ( )    Biddy_Managed_GetManagerType(NULL)

Macro Biddy_GetManagerType is defined for use with anonymous manager.

Definition at line 280 of file biddy.h.

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

Macro Biddy_SetManagerParameters is defined for use with anonymous manager.

Definition at line 285 of file biddy.h.

#define Biddy_Managed_GetThen (   MNG,
 
)    Biddy_GetThen(f)

Macro Biddy_Managed_GetThen is defined for your convenience.

Definition at line 290 of file biddy.h.

#define Biddy_Managed_GetElse (   MNG,
 
)    Biddy_GetElse(f)

Macro Biddy_Managed_GetElse is defined for your convenience.

Definition at line 295 of file biddy.h.

#define Biddy_Managed_GetTopVariable (   MNG,
 
)    Biddy_GetTopVariable(f)

Macro Biddy_Managed_GetTopVariable is defined for your convenience.

Definition at line 300 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 305 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 310 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 315 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 320 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 325 of file biddy.h.

#define Biddy_DeselectAll ( )    Biddy_Managed_DeselectAll(NULL)

Macro Biddy_DeselectAll is defined for use with anonymous manager.

Definition at line 330 of file biddy.h.

#define Biddy_GetTerminal ( )    Biddy_Managed_GetTerminal(NULL)

Macro Biddy_GetTerminal is defined for use with anonymous manager.

Definition at line 335 of file biddy.h.

#define Biddy_GetConstantZero ( )    Biddy_Managed_GetConstantZero(NULL)

Macro Biddy_GetConstantZero is defined for use with anonymous manager.

Definition at line 340 of file biddy.h.

#define Biddy_GetConstantOne ( )    Biddy_Managed_GetConstantOne(NULL)

Macro Biddy_GetConstantOne is defined for use with anonymous manager.

Definition at line 347 of file biddy.h.

#define Biddy_GetBaseSet ( )    Biddy_Managed_GetBaseSet(NULL)

Macro Biddy_GetBaseSet is defined for use with anonymous manager.

Definition at line 354 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 359 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 364 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 369 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 374 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 379 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 384 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 389 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 394 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 399 of file biddy.h.

#define Biddy_ResetVariablesValue ( )    Biddy_Managed_ResetVariablesValue(NULL)

Macro Biddy_ResetVariablesValue is defined for use with anonymous manager.

Definition at line 404 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 409 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 414 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 419 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 424 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 431 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 438 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 443 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 449 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 454 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 459 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 467 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 472 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 478 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 486 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 493 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 498 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 503 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 508 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 513 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 518 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 525 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 531 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 536 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 541 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 546 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 551 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 556 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 561 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 566 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 571 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 577 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 582 of file biddy.h.

#define Biddy_Replace (   f)    Biddy_Managed_Replace(NULL,f)

Macro Biddy_Replace is defined for use with anonymous manager.

Definition at line 587 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 592 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 598 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 607 of file biddy.h.

#define Biddy_GC (   target,
  purge,
  total 
)    Biddy_Managed_GC(NULL,target,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 613 of file biddy.h.

#define Biddy_Clean ( )    Biddy_Managed_Clean(NULL)

Macro Biddy_Clean is defined for use with anonymous manager.

Definition at line 620 of file biddy.h.

#define Biddy_Purge ( )    Biddy_Managed_Purge(NULL)

Macro Biddy_Purge is defined for use with anonymous manager.

Definition at line 625 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 630 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 635 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 640 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.

Definition at line 645 of file biddy.h.

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

Macro Biddy_FindFormula is defined for use with anonymous manager.

Definition at line 654 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 659 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 664 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 669 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 674 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 679 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 684 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 689 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 694 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 699 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 704 of file biddy.h.

#define Biddy_Random (   support,
 
)    Biddy_Managed_Random(NULL,support,r)

Macro Biddy_Random is defined for use with anonymous manager.

Definition at line 709 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 714 of file biddy.h.

#define Biddy_NodeNumber (   f)    Biddy_Managed_NodeNumber(NULL,f)

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

Definition at line 735 of file biddy.h.

#define Biddy_Managed_NodeMaxLevel (   MNG,
 
)    Biddy_NodeMaxLevel(f)

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

Definition at line 740 of file biddy.h.

#define Biddy_Managed_NodeAvgLevel (   MNG,
 
)    Biddy_NodeAvgLevel(f)

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

Definition at line 745 of file biddy.h.

#define Biddy_VariableTableNum ( )    Biddy_Managed_VariableTableNum(NULL)

Macro Biddy_VariableTableNum is defined for use with anonymous manager.

Definition at line 750 of file biddy.h.

#define Biddy_NodeTableSize ( )    Biddy_Managed_NodeTableSize(NULL)

Macro Biddy_NodeTableSize is defined for use with anonymous manager.

Definition at line 755 of file biddy.h.

#define Biddy_NodeTableBlockNumber ( )    Biddy_Managed_NodeTableBlockNumber(NULL)

Macro Biddy_NodeTableBlockNumber is defined for use with anonymous manager.

Definition at line 760 of file biddy.h.

#define Biddy_NodeTableGenerated ( )    Biddy_Managed_NodeTableGenerated(NULL)

Macro Biddy_NodeTableGenerated is defined for use with anonymous manager.

Definition at line 765 of file biddy.h.

#define Biddy_NodeTableMax ( )    Biddy_Managed_NodeTableMax(NULL)

Macro Biddy_NodeTableMax is defined for use with anonymous manager.

Definition at line 770 of file biddy.h.

#define Biddy_NodeTableNum ( )    Biddy_Managed_NodeTableNum(NULL)

Macro Biddy_NodeTableNum is defined for use with anonymous manager.

Definition at line 775 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 780 of file biddy.h.

#define Biddy_NodeTableGCNumber ( )    Biddy_Managed_NodeTableGCNumber(NULL)

Macro Biddy_NodeTableGCNumber is defined for use with anonymous manager.

Definition at line 785 of file biddy.h.

#define Biddy_NodeTableSwapNumber ( )    Biddy_Managed_NodeTableSwapNumber(NULL)

Macro Biddy_NodeTableSwapNumber is defined for use with anonymous manager.

Definition at line 790 of file biddy.h.

#define Biddy_NodeTableSiftingNumber ( )    Biddy_Managed_NodeTableSiftingNumber(NULL)

Macro Biddy_NodeTableSiftingNumber is defined for use with anonymous manager.

Definition at line 795 of file biddy.h.

#define Biddy_NodeTableResizeNumber ( )    Biddy_Managed_NodeTableResizeNumber(NULL)

Macro Biddy_NodeTableResizeNumber is defined for use with anonymous manager.

Definition at line 800 of file biddy.h.

#define Biddy_NodeTableITENumber ( )    Biddy_Managed_NodeTableITENumber(NULL)

Macro Biddy_NodeTableITENumber is defined for use with anonymous manager.

Definition at line 805 of file biddy.h.

#define Biddy_NodeTableITERecursiveNumber ( )    Biddy_Managed_NodeTableITERecursiveNumber(NULL)

Macro Biddy_NodeTableITERecursiveNumber is defined for use with anonymous manager.

Definition at line 810 of file biddy.h.

#define Biddy_NodeTableANDORNumber ( )    Biddy_Managed_NodeTableANDORNumber(NULL)

Macro Biddy_NodeTableANDORNumber is defined for use with anonymous manager.

Definition at line 815 of file biddy.h.

#define Biddy_NodeTableANDORRecursiveNumber ( )    Biddy_Managed_NodeTableANDORRecursiveNumber(NULL)

Macro Biddy_NodeTableANDORRecursiveNumber is defined for use with anonymous manager.

Definition at line 820 of file biddy.h.

#define Biddy_NodeTableXORNumber ( )    Biddy_Managed_NodeTableXORNumber(NULL)

Macro Biddy_NodeTableXORNumber is defined for use with anonymous manager.

Definition at line 825 of file biddy.h.

#define Biddy_NodeTableXORRecursiveNumber ( )    Biddy_Managed_NodeTableXORRecursiveNumber(NULL)

Macro Biddy_NodeTableXORRecursiveNumber is defined for use with anonymous manager.

Definition at line 830 of file biddy.h.

#define Biddy_NodeTableGCTime ( )    Biddy_Managed_NodeTableGCTime(NULL)

Macro Biddy_NodeTableGCTime is defined for use with anonymous manager.

Definition at line 835 of file biddy.h.

#define Biddy_NodeTableGCObsoleteNumber ( )    Biddy_Managed_NodeTableGCObsoleteNumber(NULL)

Macro Biddy_NodeTableGCObsoleteNumber is defined for use with anonymous manager.

Definition at line 840 of file biddy.h.

#define Biddy_NodeTableDRTime ( )    Biddy_Managed_NodeTableDRTime(NULL)

Macro Biddy_NodeTableDRTime is defined for use with anonymous manager.

Definition at line 845 of file biddy.h.

#define Biddy_FormulaTableNum ( )    Biddy_Managed_FormulaTableNum(NULL)

Macro Biddy_FormulaTableNum is defined for use with anonymous manager.

Definition at line 850 of file biddy.h.

#define Biddy_ListUsed ( )    Biddy_Managed_ListUsed(NULL)

Macro Biddy_ListUsed is defined for use with anonymous manager.

Definition at line 855 of file biddy.h.

#define Biddy_ListMaxLength ( )    Biddy_Managed_ListMaxLength(NULL)

Macro Biddy_ListMaxLength is defined for use with anonymous manager.

Definition at line 860 of file biddy.h.

#define Biddy_ListAvgLength ( )    Biddy_Managed_ListAvgLength(NULL)

Macro Biddy_ListAvgLength is defined for use with anonymous manager.

Definition at line 865 of file biddy.h.

#define Biddy_OPCacheSearch ( )    Biddy_Managed_OPCacheSearch(NULL)

Macro Biddy_OPCacheSearch is defined for use with anonymous manager.

Definition at line 870 of file biddy.h.

#define Biddy_OPCacheFind ( )    Biddy_Managed_OPCacheFind(NULL)

Macro Biddy_OPCacheFind is defined for use with anonymous manager.

Definition at line 875 of file biddy.h.

#define Biddy_OPCacheOverwrite ( )    Biddy_Managed_OPCacheOverwrite(NULL)

Macro Biddy_OPCacheOverwrite is defined for use with anonymous manager.

Definition at line 880 of file biddy.h.

#define Biddy_NodeNumberPlain (   f)    Biddy_Managed_NodeNumberPlain(NULL,f)

Macro Biddy_NodeNumberPlain is defined for use with anonymous manager.

Definition at line 885 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 890 of file biddy.h.

#define Biddy_NodeVarNumber (   f,
  n,
 
)    Biddy_Managed_NodeVarNumber(NULL,f,n,v)

Macro Biddy_NodeVarNumber is defined for use with anonymous manager.

Definition at line 895 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 900 of file biddy.h.

#define Biddy_CountMinterm (   f,
  nvars 
)    Biddy_Managed_CountMinterm(NULL,f,nvars)

Macro Biddy_CountMinterm is defined for use with anonymous manager.

Definition at line 905 of file biddy.h.

#define Biddy_DensityFunction (   f,
  nvars 
)    Biddy_Managed_DensityFunction(NULL,f,nvars)

Macro Biddy_DensityFunction is defined for use with anonymous manager.

Definition at line 912 of file biddy.h.

#define Biddy_DensityBDD (   f,
  nvars 
)    Biddy_Managed_DensityBDD(NULL,f,nvars)

Macro Biddy_DensityBDD is defined for use with anonymous manager.

Definition at line 917 of file biddy.h.

#define Biddy_ReadMemoryInUse ( )    Biddy_Managed_ReadMemoryInUse(NULL)

Macro Biddy_ReadMemoryInUse is defined for use with anonymous manager.

Definition at line 922 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 927 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 944 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 949 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 956 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 961 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 966 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 971 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 976 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 981 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 986 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 991 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 996 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 1001 of file biddy.h.

Typedef Documentation

typedef char Biddy_Boolean

Biddy_Boolean is used for boolean values.

Definition at line 191 of file biddy.h.

typedef char* Biddy_String

Biddy_String is used for strings.

Definition at line 194 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 203 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 208 of file biddy.h.

typedef unsigned short int Biddy_Variable

Biddy_Variable is used for indices in variable table.

Definition at line 212 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 221 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 225 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 229 of file biddy.h.