Home
last modified time | relevance | path

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 DaigMem.c487 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 DaigMem.c472 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 Daig.h54 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 Daig.h72 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 );