Home
last modified time | relevance | path

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

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/
H A DfraImp.c246 Vec_Int_t * vImpsNew; in Fra_SmlSelectMaxCost() local
268 vImpsNew = Vec_IntAlloc( nImpLimit ); in Fra_SmlSelectMaxCost()
273 Vec_IntPush( vImpsNew, Imp ); in Fra_SmlSelectMaxCost()
274 if ( Vec_IntSize( vImpsNew ) == nImpLimit ) in Fra_SmlSelectMaxCost()
280 return vImpsNew; in Fra_SmlSelectMaxCost()