| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bsat/ |
| H A D | satMem.c | 76 Sat_MmFixed_t ** pMems; // memory managers: 2^1 words, 2^2 words, etc member
441 p->pMems = ABC_ALLOC( Sat_MmFixed_t *, p->nMems ); in Sat_MmStepStart()
443 p->pMems[i] = Sat_MmFixedStart( (8<<i) ); in Sat_MmStepStart()
449 p->pMap[k] = p->pMems[0]; in Sat_MmStepStart()
452 p->pMap[k] = p->pMems[i]; in Sat_MmStepStart()
482 Sat_MmFixedStop( p->pMems[i], fVerbose ); in Sat_MmStepStop()
483 ABC_FREE( p->pMems ); in Sat_MmStepStop()
509 Sat_MmFixedRestart( p->pMems[i] ); in Sat_MmStepRestart()
579 nMemTotal += p->pMems[i]->nMemoryAlloc; in Sat_MmStepReadMemUsage()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/msat/ |
| H A D | msatMem.c | 72 Msat_MmFixed_t ** pMems; // memory managers: 2^1 words, 2^2 words, etc member
430 p->pMems = ABC_ALLOC( Msat_MmFixed_t *, p->nMems ); in Msat_MmStepStart()
432 p->pMems[i] = Msat_MmFixedStart( (8<<i) ); in Msat_MmStepStart()
438 p->pMap[k] = p->pMems[0]; in Msat_MmStepStart()
441 p->pMap[k] = p->pMems[i]; in Msat_MmStepStart()
462 Msat_MmFixedStop( p->pMems[i], fVerbose ); in Msat_MmStepStop()
463 ABC_FREE( p->pMems ); in Msat_MmStepStop()
530 nMemTotal += p->pMems[i]->nMemoryAlloc; in Msat_MmStepReadMemUsage()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/extra/ |
| H A D | extraUtilMemory.c | 76 Extra_MmFixed_t ** pMems; // memory managers: 2^1 words, 2^2 words, etc member
500 p->pMems = ABC_ALLOC( Extra_MmFixed_t *, p->nMems ); in Extra_MmStepStart()
502 p->pMems[i] = Extra_MmFixedStart( (8<<i) ); in Extra_MmStepStart()
508 p->pMap[k] = p->pMems[0]; in Extra_MmStepStart()
511 p->pMap[k] = p->pMems[i]; in Extra_MmStepStart()
532 Extra_MmFixedStop( p->pMems[i] ); in Extra_MmStepStop()
539 ABC_FREE( p->pMems ); in Extra_MmStepStop()
615 nMemTotal += p->pMems[i]->nMemoryAlloc; in Extra_MmStepReadMemUsage()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/mem/ |
| H A D | mem2.h | 65 Mmr_Fixed_t pMems[0]; // memory managers: 2^0 words, 2^1 words, etc member
226 Mmr_FixedCreate( p->pMems + i, nPageBase, i ); in Mmr_StepStart()
233 Mmr_FixedStop( p->pMems + i, 0 ); in Mmr_StepStop()
239 return Mmr_FixedEntry( p->pMems + (h & p->uMask), (h >> p->nBits) ); in Mmr_StepEntry()
247 return (Mmr_FixedFetch(p->pMems + nWords) << p->nBits) | nWords; in Mmr_StepFetch()
252 Mmr_FixedRecycle( p->pMems + (h & p->uMask), (h >> p->nBits) ); in Mmr_StepRecycle()
258 Mem += Mmr_FixedMemory( p->pMems + i ); in Mmr_StepMemory()
|
| H A D | mem.c | 76 Mem_Fixed_t ** pMems; // memory managers: 2^1 words, 2^2 words, etc member
482 p->pMems = ABC_ALLOC( Mem_Fixed_t *, p->nMems ); in Mem_StepStart()
484 p->pMems[i] = Mem_FixedStart( (8<<i) ); in Mem_StepStart()
490 p->pMap[k] = p->pMems[0]; in Mem_StepStart()
493 p->pMap[k] = p->pMems[i]; in Mem_StepStart()
514 Mem_FixedStop( p->pMems[i], fVerbose ); in Mem_StepStop()
521 ABC_FREE( p->pMems ); in Mem_StepStop()
597 nMemTotal += p->pMems[i]->nMemoryAlloc; in Mem_StepReadMemUsage()
|
| /dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/aig/ |
| H A D | aigMem.c | 86 Aig_MmFixed_t ** pMems; // memory managers: 2^1 words, 2^2 words, etc member
495 p->pMems = ALLOC( Aig_MmFixed_t *, p->nMems ); in Aig_MmStepStart()
497 p->pMems[i] = Aig_MmFixedStart( (8<<i), (1<<13) ); in Aig_MmStepStart()
503 p->pMap[k] = p->pMems[0]; in Aig_MmStepStart()
506 p->pMap[k] = p->pMems[i]; in Aig_MmStepStart()
527 Aig_MmFixedStop( p->pMems[i], fVerbose ); in Aig_MmStepStop()
534 free( p->pMems ); in Aig_MmStepStop()
612 nMemTotal += p->pMems[i]->nMemoryAlloc; in Aig_MmStepReadMemUsage()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaMem.c | 71 Gia_MmFixed_t ** pMems; // memory managers: 2^1 words, 2^2 words, etc member
476 p->pMems = ABC_ALLOC( Gia_MmFixed_t *, p->nMems ); in Gia_MmStepStart()
478 p->pMems[i] = Gia_MmFixedStart( (8<<i), (1<<13) ); in Gia_MmStepStart()
484 p->pMap[k] = p->pMems[0]; in Gia_MmStepStart()
487 p->pMap[k] = p->pMems[i]; in Gia_MmStepStart()
511 Gia_MmFixedStop( p->pMems[i], fVerbose ); in Gia_MmStepStop()
518 ABC_FREE( p->pMems ); in Gia_MmStepStop()
590 nMemTotal += p->pMems[i]->nMemoryAlloc; in Gia_MmStepReadMemUsage()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/ |
| H A D | aigMem.c | 71 Aig_MmFixed_t ** pMems; // memory managers: 2^1 words, 2^2 words, etc member
480 p->pMems = ABC_ALLOC( Aig_MmFixed_t *, p->nMems ); in Aig_MmStepStart()
482 p->pMems[i] = Aig_MmFixedStart( (8<<i), (1<<13) ); in Aig_MmStepStart()
488 p->pMap[k] = p->pMems[0]; in Aig_MmStepStart()
491 p->pMap[k] = p->pMems[i]; in Aig_MmStepStart()
515 Aig_MmFixedStop( p->pMems[i], fVerbose ); in Aig_MmStepStop()
522 ABC_FREE( p->pMems ); in Aig_MmStepStop()
602 nMemTotal += p->pMems[i]->nMemoryAlloc; in Aig_MmStepReadMemUsage()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/ |
| H A D | saigSimSeq.c | 54 unsigned * pMems; // allocated simulaton memory member
212 ABC_FREE( p->pMems ); in Raig_ManDelete()
237 assert( p->pMems == NULL ); in Raig_ManSimRef()
242 p->pMems = ABC_REALLOC( unsigned, p->pMems, p->nWordsAlloc ); in Raig_ManSimRef()
243 memset( p->pMems, 0xff, sizeof(unsigned) * (p->nWords + 1) ); in Raig_ManSimRef()
250 pPlace = p->pMems + Ent; in Raig_ManSimRef()
255 pSim = p->pMems + p->MemFree; in Raig_ManSimRef()
280 return p->pMems; in Raig_ManSimDeref()
282 pSim = p->pMems + p->pSims[i]; in Raig_ManSimDeref()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/ |
| H A D | cecClass.c | 30 static inline unsigned * Cec_ObjSim( Cec_ManSim_t * p, int Id ) { return p->pMems + p->p… in Cec_ObjSim()
387 pPlace = p->pMems + Ent; in Cec_ManSimMemRelink()
412 assert( p->pMems == NULL ); in Cec_ManSimSimRef()
417 p->pMems = ABC_REALLOC( unsigned, p->pMems, p->nWordsAlloc ); in Cec_ManSimSimRef()
421 pSim = p->pMems + p->MemFree; in Cec_ManSimSimRef()
445 pSim = p->pMems + p->pSimInfo[i]; in Cec_ManSimSimDeref()
|
| H A D | cecInt.h | 120 unsigned * pMems; // allocated simulaton memory member
|
| H A D | cecMan.c | 245 ABC_FREE( p->pMems ); in Cec_ManSimStop()
|
| /dports/editors/libreoffice/libreoffice-7.2.6.2/sc/source/core/data/ |
| H A D | dptabsrc.cxx | 697 ScDPMembers* pMems = pDim->GetHierarchiesObject()->getByIndex(0)-> in FilterCacheByPageDimensions() local
700 tools::Long nMemCount = pMems->getCount(); in FilterCacheByPageDimensions()
708 ScDPMember* pMem = pMems->getByIndex(j); in FilterCacheByPageDimensions()
|
| /dports/editors/libreoffice6/libreoffice-6.4.7.2/sc/source/core/data/ |
| H A D | dptabsrc.cxx | 693 ScDPMembers* pMems = pDim->GetHierarchiesObject()->getByIndex(0)-> in FilterCacheByPageDimensions() local
696 long nMemCount = pMems->getCount(); in FilterCacheByPageDimensions()
704 ScDPMember* pMem = pMems->getByIndex(j); in FilterCacheByPageDimensions()
|