diff options
Diffstat (limited to 'src/aig')
-rw-r--r-- | src/aig/mem/mem.c | 16 | ||||
-rw-r--r-- | src/aig/mem/mem.h | 1 |
2 files changed, 17 insertions, 0 deletions
diff --git a/src/aig/mem/mem.c b/src/aig/mem/mem.c index 15199755..f5bfbfd8 100644 --- a/src/aig/mem/mem.c +++ b/src/aig/mem/mem.c @@ -278,6 +278,22 @@ int Mem_FixedReadMemUsage( Mem_Fixed_t * p ) return p->nMemoryAlloc; } +/**Function************************************************************* + + Synopsis [] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +int Mem_FixedReadMaxEntriesUsed( Mem_Fixed_t * p ) +{ + return p->nEntriesMax; +} + /**Function************************************************************* diff --git a/src/aig/mem/mem.h b/src/aig/mem/mem.h index 611c968d..d43e5fc3 100644 --- a/src/aig/mem/mem.h +++ b/src/aig/mem/mem.h @@ -45,6 +45,7 @@ extern char * Mem_FixedEntryFetch( Mem_Fixed_t * p ); extern void Mem_FixedEntryRecycle( Mem_Fixed_t * p, char * pEntry ); extern void Mem_FixedRestart( Mem_Fixed_t * p ); extern int Mem_FixedReadMemUsage( Mem_Fixed_t * p ); +extern int Mem_FixedReadMaxEntriesUsed( Mem_Fixed_t * p ); // flexible-size-block memory manager extern Mem_Flex_t * Mem_FlexStart(); extern void Mem_FlexStop( Mem_Flex_t * p, int fVerbose ); |