diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-02-25 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-02-25 08:01:00 -0800 |
| commit | 81fae91a95b8b51d7a10d3884df92dc89eb266bf (patch) | |
| tree | 504f7581908335369a15d97653ba2bb3fec31d08 /src/aig/mem/mem.c | |
| parent | fb51057e4a36d2e5737bba8739b88140b55db7c7 (diff) | |
| download | abc-81fae91a95b8b51d7a10d3884df92dc89eb266bf.tar.gz abc-81fae91a95b8b51d7a10d3884df92dc89eb266bf.tar.bz2 abc-81fae91a95b8b51d7a10d3884df92dc89eb266bf.zip | |
Version abc70225
Diffstat (limited to 'src/aig/mem/mem.c')
| -rw-r--r-- | src/aig/mem/mem.c | 16 |
1 files changed, 16 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************************************************************* |