| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/kit/ |
| H A D | kitPla.c | 213 Aig_MmFlex_t * pMan = (Aig_MmFlex_t *)p; in Kit_PlaStart()
245 Aig_MmFlex_t * pMan = (Aig_MmFlex_t *)p; in Kit_PlaCreateFromIsop()
319 Aig_MmFlex_t * pMan = (Aig_MmFlex_t *)p; in Kit_PlaStoreSop()
339 Aig_MmFlex_t * pMan = (Aig_MmFlex_t *)p; in Kit_PlaFromTruth()
|
| /dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/aig/ |
| H A D | aigMem.c | 324 Aig_MmFlex_t * Aig_MmFlexStart() in Aig_MmFlexStart()
326 Aig_MmFlex_t * p; in Aig_MmFlexStart()
328 p = ALLOC( Aig_MmFlex_t, 1 ); in Aig_MmFlexStart()
329 memset( p, 0, sizeof(Aig_MmFlex_t) ); in Aig_MmFlexStart()
356 void Aig_MmFlexStop( Aig_MmFlex_t * p, int fVerbose ) in Aig_MmFlexStop()
385 char * Aig_MmFlexEntryFetch( Aig_MmFlex_t * p, int nBytes ) in Aig_MmFlexEntryFetch()
430 void Aig_MmFlexRestart( Aig_MmFlex_t * p ) in Aig_MmFlexRestart()
458 int Aig_MmFlexReadMemUsage( Aig_MmFlex_t * p ) in Aig_MmFlexReadMemUsage()
|
| H A D | aigTime.c | 52 Aig_MmFlex_t * pMemObj; // memory manager for boxes
|
| H A D | aigRet.c | 60 Aig_MmFlex_t * pMem; // the memory manager
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/ |
| H A D | aigMem.c | 305 Aig_MmFlex_t * Aig_MmFlexStart() in Aig_MmFlexStart()
307 Aig_MmFlex_t * p; in Aig_MmFlexStart()
309 p = ABC_ALLOC( Aig_MmFlex_t, 1 ); in Aig_MmFlexStart()
310 memset( p, 0, sizeof(Aig_MmFlex_t) ); in Aig_MmFlexStart()
337 void Aig_MmFlexStop( Aig_MmFlex_t * p, int fVerbose ) in Aig_MmFlexStop()
366 char * Aig_MmFlexEntryFetch( Aig_MmFlex_t * p, int nBytes ) in Aig_MmFlexEntryFetch()
415 void Aig_MmFlexRestart( Aig_MmFlex_t * p ) in Aig_MmFlexRestart()
443 int Aig_MmFlexReadMemUsage( Aig_MmFlex_t * p ) in Aig_MmFlexReadMemUsage()
|
| H A D | aig.h | 53 typedef struct Aig_MmFlex_t_ Aig_MmFlex_t; typedef
690 extern Aig_MmFlex_t * Aig_MmFlexStart();
691 extern void Aig_MmFlexStop( Aig_MmFlex_t * p, int fVerbose );
692 extern char * Aig_MmFlexEntryFetch( Aig_MmFlex_t * p, int nBytes );
693 extern void Aig_MmFlexRestart( Aig_MmFlex_t * p );
694 extern int Aig_MmFlexReadMemUsage( Aig_MmFlex_t * p );
|
| H A D | aigCanon.c | 62 Aig_MmFlex_t* pMemTrus;
|
| H A D | aigRet.c | 45 Aig_MmFlex_t * pMem; // the memory manager
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/amap/ |
| H A D | amapOutput.c | 30 static inline char * Amap_OuputStrsav( Aig_MmFlex_t * p, char * pStr ) in Amap_OuputStrsav()
48 Amap_Out_t * Amap_OutputStructAlloc( Aig_MmFlex_t * pMem, Amap_Gat_t * pGate ) in Amap_OutputStructAlloc()
74 Aig_MmFlex_t * pMem; in Amap_ManProduceMapped()
|
| H A D | amapInt.h | 90 Aig_MmFlex_t * pMemCuts;
91 Aig_MmFlex_t * pMemCutBest;
92 Aig_MmFlex_t * pMemTemp;
123 Aig_MmFlex_t * pMemGates; // memory manager for objects
136 Aig_MmFlex_t * pMemSet; // memory manager for sets
|
| H A D | amapRead.c | 54 static inline Amap_Gat_t * Amap_ParseGateAlloc( Aig_MmFlex_t * p, int nPins ) in Amap_ParseGateAlloc()
56 static inline char * Amap_ParseStrsav( Aig_MmFlex_t * p, char * pStr ) in Amap_ParseStrsav()
229 int Amap_GateCollectNames( Aig_MmFlex_t * pMem, char * pForm, char * pPinNames[] ) in Amap_GateCollectNames()
|
| H A D | amapMatch.c | 620 Aig_MmFlex_t * pMemOld; in Amap_ManMatch()
|
| /dports/math/stp/stp-2.3.3/lib/extlib-abc/ |
| H A D | aig.h | 71 typedef struct Aig_MmFlex_t_ Aig_MmFlex_t; typedef
558 extern Aig_MmFlex_t * Aig_MmFlexStart();
559 extern void Aig_MmFlexStop( Aig_MmFlex_t * p, int fVerbose );
560 extern char * Aig_MmFlexEntryFetch( Aig_MmFlex_t * p, int nBytes );
561 extern void Aig_MmFlexRestart( Aig_MmFlex_t * p );
562 extern int Aig_MmFlexReadMemUsage( Aig_MmFlex_t * p );
|
| H A D | cnf_short.h | 100 Aig_MmFlex_t * pMemCuts; // memory manager for cuts
|
| H A D | cnf.h | 100 Aig_MmFlex_t * pMemCuts; // memory manager for cuts
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/nwk/ |
| H A D | nwkMerge.h | 93 Aig_MmFlex_t * pMemVerts; // memory for vertices
|
| H A D | nwkUtil.c | 264 Aig_MmFlex_t * pMem; in Nwk_ManDumpBlif()
|
| H A D | nwk.h | 76 Aig_MmFlex_t * pMemObjs; // memory for objects
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/cnf/ |
| H A D | cnf.h | 87 Aig_MmFlex_t * pMemCuts; // memory manager for cuts
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaSat.c | 36 Aig_MmFlex_t * pMem;
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcDar.c | 4519 Aig_MmFlex_t * pMem; in Abc_NtkDarAmap()
4532 pMem = (Aig_MmFlex_t *)Vec_PtrPop( vMapping ); in Abc_NtkDarAmap()
|