Searched refs:Aig_MmStep_t (Results 1 – 4 of 4) sorted by relevance
/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/aig/ |
H A D | aigMem.c | 487 Aig_MmStep_t * Aig_MmStepStart( int nSteps ) in Aig_MmStepStart() 489 Aig_MmStep_t * p; in Aig_MmStepStart() 491 p = ALLOC( Aig_MmStep_t, 1 ); in Aig_MmStepStart() 492 memset( p, 0, sizeof(Aig_MmStep_t) ); in Aig_MmStepStart() 523 void Aig_MmStepStop( Aig_MmStep_t * p, int fVerbose ) in Aig_MmStepStop() 550 char * Aig_MmStepEntryFetch( Aig_MmStep_t * p, int nBytes ) in Aig_MmStepEntryFetch() 585 void Aig_MmStepEntryRecycle( Aig_MmStep_t * p, char * pEntry, int nBytes ) in Aig_MmStepEntryRecycle() 608 int Aig_MmStepReadMemUsage( Aig_MmStep_t * p ) in Aig_MmStepReadMemUsage()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/ |
H A D | aigMem.c | 472 Aig_MmStep_t * Aig_MmStepStart( int nSteps ) in Aig_MmStepStart() 474 Aig_MmStep_t * p; in Aig_MmStepStart() 476 p = ABC_ALLOC( Aig_MmStep_t, 1 ); in Aig_MmStepStart() 477 memset( p, 0, sizeof(Aig_MmStep_t) ); in Aig_MmStepStart() 511 void Aig_MmStepStop( Aig_MmStep_t * p, int fVerbose ) in Aig_MmStepStop() 538 char * Aig_MmStepEntryFetch( Aig_MmStep_t * p, int nBytes ) in Aig_MmStepEntryFetch() 571 void Aig_MmStepEntryRecycle( Aig_MmStep_t * p, char * pEntry, int nBytes ) in Aig_MmStepEntryRecycle() 598 int Aig_MmStepReadMemUsage( Aig_MmStep_t * p ) in Aig_MmStepReadMemUsage()
|
H A D | aig.h | 54 typedef struct Aig_MmStep_t_ Aig_MmStep_t; typedef 696 extern Aig_MmStep_t * Aig_MmStepStart( int nSteps ); 697 extern void Aig_MmStepStop( Aig_MmStep_t * p, int fVerbose ); 698 extern char * Aig_MmStepEntryFetch( Aig_MmStep_t * p, int nBytes ); 699 extern void Aig_MmStepEntryRecycle( Aig_MmStep_t * p, char * pEntry, int nBytes ); 700 extern int Aig_MmStepReadMemUsage( Aig_MmStep_t * p );
|
/dports/math/stp/stp-2.3.3/lib/extlib-abc/ |
H A D | aig.h | 72 typedef struct Aig_MmStep_t_ Aig_MmStep_t; typedef 564 extern Aig_MmStep_t * Aig_MmStepStart( int nSteps ); 565 extern void Aig_MmStepStop( Aig_MmStep_t * p, int fVerbose ); 566 extern char * Aig_MmStepEntryFetch( Aig_MmStep_t * p, int nBytes ); 567 extern void Aig_MmStepEntryRecycle( Aig_MmStep_t * p, char * pEntry, int nBytes ); 568 extern int Aig_MmStepReadMemUsage( Aig_MmStep_t * p );
|