Lines Matching refs:vMap
320 Vec_Ptr_t * vMap; in Aig_ManTernarySimulate() local
396 vMap = Vec_PtrAlloc( Aig_ManPiNum(p) ); in Aig_ManTernarySimulate()
398 Vec_PtrPush( vMap, pObj ); in Aig_ManTernarySimulate()
406 Vec_PtrPush( vMap, Aig_ManConst0(p) ); in Aig_ManTernarySimulate()
408 Vec_PtrPush( vMap, Aig_ManConst1(p) ); in Aig_ManTernarySimulate()
410 Vec_PtrPush( vMap, pObjLo ); in Aig_ManTernarySimulate()
419 return vMap; in Aig_ManTernarySimulate()
436 Vec_Ptr_t * vMap; in Aig_ManConstReduce() local
437 while ( (vMap = Aig_ManTernarySimulate( p, fVerbose )) ) in Aig_ManConstReduce()
441 p = Aig_ManRemap( pTemp = p, vMap ); in Aig_ManConstReduce()
443 Vec_PtrFree( vMap ); in Aig_ManConstReduce()