Biddy  1.8.2
An academic Binary Decision Diagrams package
biddyStat.c File Reference

File biddyStat.c contains statistical functions. More...

#include "biddyInt.h"
Include dependency graph for biddyStat.c:

Go to the source code of this file.

Functions

unsigned int Biddy_Managed_CountNodes (Biddy_Manager MNG, Biddy_Edge f)
 Function Biddy_Managed_CountNodes. More...
 
unsigned int Biddy_MaxLevel (Biddy_Edge f)
 Function Biddy_MaxLevel. More...
 
float Biddy_AvgLevel (Biddy_Edge f)
 Function Biddy_AvgLevel. More...
 
Biddy_Variable Biddy_Managed_VariableTableNum (Biddy_Manager MNG)
 Function Biddy_Managed_VariableTableNum returns number of used variables. More...
 
unsigned int Biddy_Managed_NodeTableSize (Biddy_Manager MNG)
 Function Biddy_Managed_NodeTableSize returns the size of node table. More...
 
unsigned int Biddy_Managed_NodeTableBlockNumber (Biddy_Manager MNG)
 Function Biddy_Managed_NodeTableBlockNumber. More...
 
unsigned int Biddy_Managed_NodeTableGenerated (Biddy_Manager MNG)
 Function Biddy_Managed_NodeTableGenerated. More...
 
unsigned int Biddy_Managed_NodeTableMax (Biddy_Manager MNG)
 Function Biddy_Managed_NodeTableMax returns maximal (peek) number of nodes in node table. More...
 
unsigned int Biddy_Managed_NodeTableNum (Biddy_Manager MNG)
 Function Biddy_Managed_NodeTableNum returns number of all nodes currently in node table. More...
 
unsigned int Biddy_Managed_NodeTableNumVar (Biddy_Manager MNG, Biddy_Variable v)
 Function Biddy_Managed_NodeTableNumVar returns number of nodes with a given variable currently in node table. More...
 
unsigned int Biddy_Managed_NodeTableResizeNumber (Biddy_Manager MNG)
 Function Biddy_Managed_NodeTableResizeNumber. More...
 
unsigned long long int Biddy_Managed_NodeTableFoaNumber (Biddy_Manager MNG)
 Function Biddy_Managed_NodeTableFoaNumber. More...
 
unsigned long long int Biddy_Managed_NodeTableFindNumber (Biddy_Manager MNG)
 Function Biddy_Managed_NodeTableFindNumber. More...
 
unsigned long long int Biddy_Managed_NodeTableCompareNumber (Biddy_Manager MNG)
 Function Biddy_Managed_NodeTableCompareNumber. More...
 
unsigned long long int Biddy_Managed_NodeTableAddNumber (Biddy_Manager MNG)
 Function Biddy_Managed_NodeTableAddNumber. More...
 
unsigned int Biddy_Managed_NodeTableGCNumber (Biddy_Manager MNG)
 Function Biddy_Managed_NodeTableGCNumber. More...
 
unsigned int Biddy_Managed_NodeTableGCTime (Biddy_Manager MNG)
 Function Biddy_Managed_NodeTableGCTime. More...
 
unsigned long long int Biddy_Managed_NodeTableGCObsoleteNumber (Biddy_Manager MNG)
 Function Biddy_Managed_NodeTableGCObsoleteNumber. More...
 
unsigned int Biddy_Managed_NodeTableSwapNumber (Biddy_Manager MNG)
 Function Biddy_Managed_NodeTableSwapNumber. More...
 
unsigned int Biddy_Managed_NodeTableSiftingNumber (Biddy_Manager MNG)
 Function Biddy_Managed_NodeTableSiftingNumber. More...
 
unsigned int Biddy_Managed_NodeTableDRTime (Biddy_Manager MNG)
 Function Biddy_Managed_NodeTableDRTime. More...
 
unsigned int Biddy_Managed_NodeTableITENumber (Biddy_Manager MNG)
 Function Biddy_Managed_NodeTableITENumber. More...
 
unsigned long long int Biddy_Managed_NodeTableITERecursiveNumber (Biddy_Manager MNG)
 Function Biddy_Managed_NodeTableITERecursiveNumber. More...
 
unsigned int Biddy_Managed_NodeTableANDORNumber (Biddy_Manager MNG)
 Function Biddy_Managed_NodeTableANDORNumber. More...
 
unsigned long long int Biddy_Managed_NodeTableANDORRecursiveNumber (Biddy_Manager MNG)
 Function Biddy_Managed_NodeTableANDORRecursiveNumber. More...
 
unsigned int Biddy_Managed_NodeTableXORNumber (Biddy_Manager MNG)
 Function Biddy_Managed_NodeTableXORNumber. More...
 
unsigned long long int Biddy_Managed_NodeTableXORRecursiveNumber (Biddy_Manager MNG)
 Function Biddy_Managed_NodeTableXORRecursiveNumber. More...
 
unsigned int Biddy_Managed_FormulaTableNum (Biddy_Manager MNG)
 Function Biddy_Managed_FormulaTableNum returns number of known formulae. More...
 
unsigned int Biddy_Managed_ListUsed (Biddy_Manager MNG)
 Function Biddy_Managed_ListUsed. More...
 
unsigned int Biddy_Managed_ListMaxLength (Biddy_Manager MNG)
 Function Biddy_Managed_ListMaxLength. More...
 
float Biddy_Managed_ListAvgLength (Biddy_Manager MNG)
 Function Biddy_Managed_ListAvgLength. More...
 
unsigned long long int Biddy_Managed_OPCacheSearch (Biddy_Manager MNG)
 Function Biddy_Managed_OPCacheSearch. More...
 
unsigned long long int Biddy_Managed_OPCacheFind (Biddy_Manager MNG)
 Function Biddy_Managed_OPCacheFind. More...
 
unsigned long long int Biddy_Managed_OPCacheInsert (Biddy_Manager MNG)
 Function Biddy_Managed_OPCacheInsert. More...
 
unsigned long long int Biddy_Managed_OPCacheOverwrite (Biddy_Manager MNG)
 Function Biddy_Managed_OPCacheOverwrite. More...
 
unsigned int Biddy_Managed_CountNodesPlain (Biddy_Manager MNG, Biddy_Edge f)
 Function Biddy_Managed_CountNodesPlain. More...
 
unsigned int Biddy_Managed_DependentVariableNumber (Biddy_Manager MNG, Biddy_Edge f, Biddy_Boolean select)
 Function Biddy_Managed_DependentVariableNumber. More...
 
unsigned int Biddy_Managed_CountComplementedEdges (Biddy_Manager MNG, Biddy_Edge f)
 Function Biddy_Managed_CountComplementedEdges count the number of complemented edges. More...
 
unsigned long long int Biddy_Managed_CountPaths (Biddy_Manager MNG, Biddy_Edge f)
 Function Biddy_Managed_CountPaths count the number of 1-paths. More...
 
double Biddy_Managed_CountMinterms (Biddy_Manager MNG, Biddy_Edge f, unsigned int nvars)
 Function Biddy_Managed_CountMinterms. More...
 
double Biddy_Managed_DensityOfFunction (Biddy_Manager MNG, Biddy_Edge f, unsigned int nvars)
 Function Biddy_Managed_DensityOfFunction calculates the ratio of the number of on-set minterms to the number of all minterms. More...
 
double Biddy_Managed_DensityOfBDD (Biddy_Manager MNG, Biddy_Edge f, unsigned int nvars)
 Function Biddy_Managed_DensityOfBDD calculates the ratio of the number of on-set minterms to the number of nodes. More...
 
unsigned int Biddy_Managed_MinNodes (Biddy_Manager MNG, Biddy_Edge f)
 Function Biddy_Managed_MinNodes reports number of nodes in the optimal ordering. More...
 
unsigned int Biddy_Managed_MaxNodes (Biddy_Manager MNG, Biddy_Edge f)
 Function Biddy_Managed_MaxNodes reports number of nodes in the worst ordering. More...
 
unsigned long long int Biddy_Managed_ReadMemoryInUse (Biddy_Manager MNG)
 Function Biddy_Managed_ReadMemoryInUse reports memory consumption of main data strucutures in bytes (nodes, node table, variable table, ordering table, formula table, ITE cache, EA cache, RC cache, REPLACEcache). More...
 
void Biddy_Managed_PrintInfo (Biddy_Manager MNG, FILE *f)
 Function Biddy_Managed_PrintInfo prepares a file with stats. More...
 

Detailed Description

Description

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

FileName    [biddyStat.c]
Revision    [$Revision: 545 $]
Date        [$Date: 2019-02-11 14:07:50 +0100 (pon, 11 feb 2019) $]
Authors     [Robert Meolic (robert@meolic.com),
             Ales Casar (ales@homemade.net)]

Copyright

Copyright (C) 2006, 2019 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: biddy.h, biddyInt.h

Definition in file biddyStat.c.

Function Documentation

◆ Biddy_AvgLevel()

float Biddy_AvgLevel ( Biddy_Edge  f)

Description

Side effects

The result may not be compatible with your definition of Average Level for DAG. The result is especially problematic if there exist nodes with two equal descendants (e.g for ZBDDs and TZBDDs).

More info

Macro Biddy_Managed_AvgLevel(f) is defined for user convenience.

Definition at line 198 of file biddyStat.c.

◆ Biddy_Managed_CountComplementedEdges()

unsigned int Biddy_Managed_CountComplementedEdges ( Biddy_Manager  MNG,
Biddy_Edge  f 
)

Description

Count number of complemented edges in a given BDD.

Side effects

Terminal 0 is represented by complemented edge to terminal 1 with all BDD types but this edge is counted as a complemented one only if complemented edges are explicitly used.

More info

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

Definition at line 1407 of file biddyStat.c.

◆ Biddy_Managed_CountMinterms()

double Biddy_Managed_CountMinterms ( Biddy_Manager  MNG,
Biddy_Edge  f,
unsigned int  nvars 
)

Description

For combination sets, this function coincides with combinations counting. Parameter nvars is a user-defined number of dependent variables. If (nvars == 0) then all noticeable variables are considered.

Side effects

We are using GNU Multiple Precision Arithmetic Library (GMP). For ZBDDs, this function coincides with the 1-path count. For ZBDDs, result does not depend on the number of dependent variables. For OBDD, noticeable variables are all variables existing in the graph. For TZBDD, noticeable variables are all variables equal or below a top variable (considering the tag). For OBDDs and TZBDDs, if (nvars == 0) the result may not be consistent with Biddy_PrintfMinterms because this function considers noticeable variables, while Biddy_PrintfMinterms considers all created variables.

More info

Macro Biddy_CountMinterms(f,nvars) is defined for use with anonymous manager. Macros Biddy_Managed_CountCombination(MNG,f,nvars) and Biddy_CountCombinations(f,nvars) are defined for use with combination sets.

Definition at line 1539 of file biddyStat.c.

◆ Biddy_Managed_CountNodes()

unsigned int Biddy_Managed_CountNodes ( Biddy_Manager  MNG,
Biddy_Edge  f 
)

Description

Count number of nodes in a BDD.

Side effects

This function must be managed because node selection is used.

More info

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

Definition at line 85 of file biddyStat.c.

◆ Biddy_Managed_CountNodesPlain()

unsigned int Biddy_Managed_CountNodesPlain ( Biddy_Manager  MNG,
Biddy_Edge  f 
)

Description

Count number of nodes in a corresponding BDD without complement edges.

Side effects

More info

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

Definition at line 1195 of file biddyStat.c.

◆ Biddy_Managed_CountPaths()

unsigned long long int Biddy_Managed_CountPaths ( Biddy_Manager  MNG,
Biddy_Edge  f 
)

Description

Side effects

Implemented for OBDD, OBDDC, ZBDD, ZBDDC, and TZBDD. TO DO: implement this using GNU Multiple Precision Arithmetic Library (GMP).

More info

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

Definition at line 1463 of file biddyStat.c.

◆ Biddy_Managed_DensityOfBDD()

double Biddy_Managed_DensityOfBDD ( Biddy_Manager  MNG,
Biddy_Edge  f,
unsigned int  nvars 
)

Description

If nvars == 0 then number of dependent variables is used.

Side effects

More info

Macro Biddy_DensityOfBDD(f,nvars) is defined for use with anonymous manager.

Definition at line 1756 of file biddyStat.c.

◆ Biddy_Managed_DensityOfFunction()

double Biddy_Managed_DensityOfFunction ( Biddy_Manager  MNG,
Biddy_Edge  f,
unsigned int  nvars 
)

Description

If nvars == 0 then number of dependent variables is used.

Side effects

More info

Macro Biddy_DensityOfFunction(f,nvars) is defined for use with anonymous manager.

Definition at line 1683 of file biddyStat.c.

◆ Biddy_Managed_DependentVariableNumber()

unsigned int Biddy_Managed_DependentVariableNumber ( Biddy_Manager  MNG,
Biddy_Edge  f,
Biddy_Boolean  select 
)

Description

Count number of dependent variables. For OBDDs, the number of dependent variables is the same as the number of variables in the graph. For ZBDDs and TZBDDs, this is not true. If (select == TRUE) then dependent variables remain selected otherwise the function will unselect them.

Side effects

For ZBDDs, variables above the top variable (which are always all dependent) are also counted and selected!

More info

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

Definition at line 1283 of file biddyStat.c.

◆ Biddy_Managed_FormulaTableNum()

unsigned int Biddy_Managed_FormulaTableNum ( Biddy_Manager  MNG)

Description

Side effects

Formulae '0' and '1' are included.

More info

Macro Biddy_FormulaTableNum() is defined for use with anonymous manager.

Definition at line 917 of file biddyStat.c.

◆ Biddy_Managed_ListAvgLength()

float Biddy_Managed_ListAvgLength ( Biddy_Manager  MNG)

Description

Side effects

More info

Macro Biddy_ListAvgLength() is defined for use with anonymous manager.

Definition at line 1039 of file biddyStat.c.

◆ Biddy_Managed_ListMaxLength()

unsigned int Biddy_Managed_ListMaxLength ( Biddy_Manager  MNG)

Description

Side effects

More info

Macro Biddy_ListMaxLength() is defined for use with anonymous manager.

Definition at line 975 of file biddyStat.c.

◆ Biddy_Managed_ListUsed()

unsigned int Biddy_Managed_ListUsed ( Biddy_Manager  MNG)

Description

Side effects

More info

Macro Biddy_ListUsed() is defined for use with anonymous manager.

Definition at line 942 of file biddyStat.c.

◆ Biddy_Managed_MaxNodes()

unsigned int Biddy_Managed_MaxNodes ( Biddy_Manager  MNG,
Biddy_Edge  f 
)

Description

BDD is copied into new empty manager and then Steinhaus–Johnson–Trotter algorithm is used to check the node number for all possible orderings.

Side effects

Function will finish in a good time only for small number of variables.

More info

Macro Biddy_MaxNodes() is defined for use with anonymous manager.

Definition at line 1995 of file biddyStat.c.

◆ Biddy_Managed_MinNodes()

unsigned int Biddy_Managed_MinNodes ( Biddy_Manager  MNG,
Biddy_Edge  f 
)

Description

BDD is copied into new empty manager and then Steinhaus–Johnson–Trotter algorithm is used to check the node number for all possible orderings.

Side effects

Function will finish in a good time only for small number of variables.

More info

Macro Biddy_MinNodes() is defined for use with anonymous manager.

Definition at line 1852 of file biddyStat.c.

◆ Biddy_Managed_NodeTableAddNumber()

unsigned long long int Biddy_Managed_NodeTableAddNumber ( Biddy_Manager  MNG)

Description

Side effects

More info

Macro Biddy_NodeTableAddNumber() is defined for use with anonymous manager.

Definition at line 538 of file biddyStat.c.

◆ Biddy_Managed_NodeTableANDORNumber()

unsigned int Biddy_Managed_NodeTableANDORNumber ( Biddy_Manager  MNG)

Description

Side effects

More info

Macro Biddy_NodeTableANDORNumber() is defined for use with anonymous manager.

Definition at line 798 of file biddyStat.c.

◆ Biddy_Managed_NodeTableANDORRecursiveNumber()

unsigned long long int Biddy_Managed_NodeTableANDORRecursiveNumber ( Biddy_Manager  MNG)

Description

Side effects

Recursive AND/OR calls are counted only if Biddy is compiled using directive BIDDYEXTENDEDSTATS_YES.

More info

Macro Biddy_NodeTableANDORRecursiveNumber() is defined for use with anonymous manager.

Definition at line 826 of file biddyStat.c.

◆ Biddy_Managed_NodeTableBlockNumber()

unsigned int Biddy_Managed_NodeTableBlockNumber ( Biddy_Manager  MNG)

Description

Side effects

More info

Macro Biddy_NodeTableBlockNumber() is defined for use with anonymous manager.

Definition at line 287 of file biddyStat.c.

◆ Biddy_Managed_NodeTableCompareNumber()

unsigned long long int Biddy_Managed_NodeTableCompareNumber ( Biddy_Manager  MNG)

Description

Side effects

More info

Macro Biddy_NodeTableCompareNumber() is defined for use with anonymous manager.

Definition at line 506 of file biddyStat.c.

◆ Biddy_Managed_NodeTableDRTime()

unsigned int Biddy_Managed_NodeTableDRTime ( Biddy_Manager  MNG)

Description

Side effects

More info

Macro Biddy_NodeTableDRTime() is defined for use with anonymous manager.

Definition at line 713 of file biddyStat.c.

◆ Biddy_Managed_NodeTableFindNumber()

unsigned long long int Biddy_Managed_NodeTableFindNumber ( Biddy_Manager  MNG)

Description

Side effects

More info

Macro Biddy_NodeTableFindNumber() is defined for use with anonymous manager.

Definition at line 474 of file biddyStat.c.

◆ Biddy_Managed_NodeTableFoaNumber()

unsigned long long int Biddy_Managed_NodeTableFoaNumber ( Biddy_Manager  MNG)

Description

Side effects

More info

Macro Biddy_NodeTableFoaNumber() is defined for use with anonymous manager.

Definition at line 442 of file biddyStat.c.

◆ Biddy_Managed_NodeTableGCNumber()

unsigned int Biddy_Managed_NodeTableGCNumber ( Biddy_Manager  MNG)

Description

Side effects

More info

Macro Biddy_NodeTableGCNumber() is defined for use with anonymous manager.

Definition at line 569 of file biddyStat.c.

◆ Biddy_Managed_NodeTableGCObsoleteNumber()

unsigned long long int Biddy_Managed_NodeTableGCObsoleteNumber ( Biddy_Manager  MNG)

Description

Return the number of nodes deleted by GC.

Side effects

Obsolete nodes deleted by GC are counted only if Biddy is compiled using directive BIDDYEXTENDEDSTATS_YES.

More info

Macro Biddy_NodeTableGCObsoleteNumber() is defined for use with anonymous manager.

Definition at line 623 of file biddyStat.c.

◆ Biddy_Managed_NodeTableGCTime()

unsigned int Biddy_Managed_NodeTableGCTime ( Biddy_Manager  MNG)

Description

Side effects

More info

Macro Biddy_NodeTableGCTime() is defined for use with anonymous manager.

Definition at line 594 of file biddyStat.c.

◆ Biddy_Managed_NodeTableGenerated()

unsigned int Biddy_Managed_NodeTableGenerated ( Biddy_Manager  MNG)

Description

Side effects

More info

Macro Biddy_NodeTableGenerated() is defined for use with anonymous manager.

Definition at line 312 of file biddyStat.c.

◆ Biddy_Managed_NodeTableITENumber()

unsigned int Biddy_Managed_NodeTableITENumber ( Biddy_Manager  MNG)

Description

Side effects

More info

Macro Biddy_NodeTableITENumber() is defined for use with anonymous manager.

Definition at line 738 of file biddyStat.c.

◆ Biddy_Managed_NodeTableITERecursiveNumber()

unsigned long long int Biddy_Managed_NodeTableITERecursiveNumber ( Biddy_Manager  MNG)

Description

Side effects

Recursive ITE calls are counted only if Biddy is compiled using directive BIDDYEXTENDEDSTATS_YES.

More info

Macro Biddy_NodeTableITERecursiveNumber() is defined for use with anonymous manager.

Definition at line 766 of file biddyStat.c.

◆ Biddy_Managed_NodeTableMax()

unsigned int Biddy_Managed_NodeTableMax ( Biddy_Manager  MNG)

Description

Side effects

More info

Macro Biddy_NodeTableMax() is defined for use with anonymous manager.

Definition at line 338 of file biddyStat.c.

◆ Biddy_Managed_NodeTableNum()

unsigned int Biddy_Managed_NodeTableNum ( Biddy_Manager  MNG)

Description

Side effects

More info

Macro Biddy_NodeTableNum() is defined for use with anonymous manager.

Definition at line 364 of file biddyStat.c.

◆ Biddy_Managed_NodeTableNumVar()

unsigned int Biddy_Managed_NodeTableNumVar ( Biddy_Manager  MNG,
Biddy_Variable  v 
)

Description

Side effects

More info

Macro Biddy_NodeTableNumVar(v) is defined for use with anonymous manager.

Definition at line 390 of file biddyStat.c.

◆ Biddy_Managed_NodeTableResizeNumber()

unsigned int Biddy_Managed_NodeTableResizeNumber ( Biddy_Manager  MNG)

Description

Side effects

More info

Macro Biddy_NodeTableResizeNumber() is defined for use with anonymous manager.

Definition at line 416 of file biddyStat.c.

◆ Biddy_Managed_NodeTableSiftingNumber()

unsigned int Biddy_Managed_NodeTableSiftingNumber ( Biddy_Manager  MNG)

Description

Side effects

More info

Macro Biddy_NodeTableSiftingNumber() is defined for use with anonymous manager.

Definition at line 688 of file biddyStat.c.

◆ Biddy_Managed_NodeTableSize()

unsigned int Biddy_Managed_NodeTableSize ( Biddy_Manager  MNG)

Description

Side effects

More info

Macro Biddy_NodeTableSize() is defined for use with anonymous manager.

Definition at line 257 of file biddyStat.c.

◆ Biddy_Managed_NodeTableSwapNumber()

unsigned int Biddy_Managed_NodeTableSwapNumber ( Biddy_Manager  MNG)

Description

Side effects

More info

Macro Biddy_NodeTableSwapNumber() is defined for use with anonymous manager.

Definition at line 662 of file biddyStat.c.

◆ Biddy_Managed_NodeTableXORNumber()

unsigned int Biddy_Managed_NodeTableXORNumber ( Biddy_Manager  MNG)

Description

Side effects

More info

Macro Biddy_NodeTableXORNumber() is defined for use with anonymous manager.

Definition at line 857 of file biddyStat.c.

◆ Biddy_Managed_NodeTableXORRecursiveNumber()

unsigned long long int Biddy_Managed_NodeTableXORRecursiveNumber ( Biddy_Manager  MNG)

Description

Side effects

Recursive XOR calls are counted only if Biddy is compiled using directive BIDDYEXTENDEDSTATS_YES.

More info

Macro Biddy_NodeTableXORRecursiveNumber() is defined for use with anonymous manager.

Definition at line 885 of file biddyStat.c.

◆ Biddy_Managed_OPCacheFind()

unsigned long long int Biddy_Managed_OPCacheFind ( Biddy_Manager  MNG)

Description

Side effects

More info

Macro Biddy_OPCacheFind() is defined for use with anonymous manager.

Definition at line 1106 of file biddyStat.c.

◆ Biddy_Managed_OPCacheInsert()

unsigned long long int Biddy_Managed_OPCacheInsert ( Biddy_Manager  MNG)

Description

Side effects

More info

Macro Biddy_OPCacheInsert() is defined for use with anonymous manager.

Definition at line 1131 of file biddyStat.c.

◆ Biddy_Managed_OPCacheOverwrite()

unsigned long long int Biddy_Managed_OPCacheOverwrite ( Biddy_Manager  MNG)

Description

Side effects

More info

Macro Biddy_OPCacheOverwrite() is defined for use with anonymous manager.

Definition at line 1162 of file biddyStat.c.

◆ Biddy_Managed_OPCacheSearch()

unsigned long long int Biddy_Managed_OPCacheSearch ( Biddy_Manager  MNG)

Description

Side effects

More info

Macro Biddy_OPCacheSearch() is defined for use with anonymous manager.

Definition at line 1081 of file biddyStat.c.

◆ Biddy_Managed_PrintInfo()

void Biddy_Managed_PrintInfo ( Biddy_Manager  MNG,
FILE *  f 
)

Description

Side effects

More info

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

Definition at line 2234 of file biddyStat.c.

◆ Biddy_Managed_ReadMemoryInUse()

unsigned long long int Biddy_Managed_ReadMemoryInUse ( Biddy_Manager  MNG)

Description

Side effects

More info

Macro Biddy_ReadMemoryInUse() is defined for use with anonymous manager.

Definition at line 2137 of file biddyStat.c.

◆ Biddy_Managed_VariableTableNum()

Biddy_Variable Biddy_Managed_VariableTableNum ( Biddy_Manager  MNG)

Description

Side effects

Variable '1' is included.

More info

Macro Biddy_VariableTableNum() is defined for use with anonymous manager.

Definition at line 232 of file biddyStat.c.

◆ Biddy_MaxLevel()

unsigned int Biddy_MaxLevel ( Biddy_Edge  f)

Description

Side effects

More info

Macro Biddy_Managed_MaxLevel(f) is defined for user convenience.

Definition at line 164 of file biddyStat.c.