From 81fae91a95b8b51d7a10d3884df92dc89eb266bf Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 25 Feb 2007 08:01:00 -0800
Subject: Version abc70225

---
 src/aig/mem/mem.c | 16 ++++++++++++++++
 src/aig/mem/mem.h |  1 +
 2 files changed, 17 insertions(+)

(limited to 'src/aig/mem')

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 );
-- 
cgit v1.2.3