Home
last modified time | relevance | path

Searched refs:nExtraAllocNew (Results 1 – 2 of 2) sorted by relevance

/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/aig/
H A DaigRet.c194 int nExtraAllocNew = AIG_MAX( 2 * p->nExtraAlloc, 1024 ); in Rtm_ObjTransferToBig() local
195 p->pExtra = REALLOC( unsigned, p->pExtra, nExtraAllocNew ); in Rtm_ObjTransferToBig()
196 p->nExtraAlloc = nExtraAllocNew; in Rtm_ObjTransferToBig()
220 int nExtraAllocNew = AIG_MAX( 2 * p->nExtraAlloc, 1024 ); in Rtm_ObjTransferToBigger() local
221 p->pExtra = REALLOC( unsigned, p->pExtra, nExtraAllocNew ); in Rtm_ObjTransferToBigger()
222 p->nExtraAlloc = nExtraAllocNew; in Rtm_ObjTransferToBigger()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/
H A DaigRet.c179 int nExtraAllocNew = Abc_MaxInt( 2 * p->nExtraAlloc, 1024 ); in Rtm_ObjTransferToBig() local
180 p->pExtra = ABC_REALLOC( unsigned, p->pExtra, nExtraAllocNew ); in Rtm_ObjTransferToBig()
181 p->nExtraAlloc = nExtraAllocNew; in Rtm_ObjTransferToBig()
205 int nExtraAllocNew = Abc_MaxInt( 2 * p->nExtraAlloc, 1024 ); in Rtm_ObjTransferToBigger() local
206 p->pExtra = ABC_REALLOC( unsigned, p->pExtra, nExtraAllocNew ); in Rtm_ObjTransferToBigger()
207 p->nExtraAlloc = nExtraAllocNew; in Rtm_ObjTransferToBigger()