diff options
Diffstat (limited to 'src/aig')
-rw-r--r-- | src/aig/aig/aigPart.c | 2 | ||||
-rw-r--r-- | src/aig/aig/aigPartSat.c | 4 | ||||
-rw-r--r-- | src/aig/aig/aigUtil.c | 6 | ||||
-rw-r--r-- | src/aig/cgt/cgtAig.c | 4 | ||||
-rw-r--r-- | src/aig/cgt/cgtDecide.c | 4 | ||||
-rw-r--r-- | src/aig/dar/darBalance.c | 2 | ||||
-rw-r--r-- | src/aig/dar/darRefact.c | 4 | ||||
-rw-r--r-- | src/aig/fra/fraPart.c | 18 | ||||
-rw-r--r-- | src/aig/gia/giaEra2.c | 4 | ||||
-rw-r--r-- | src/aig/hop/hopBalance.c | 2 | ||||
-rw-r--r-- | src/aig/hop/hopUtil.c | 6 | ||||
-rw-r--r-- | src/aig/ivy/ivyBalance.c | 2 | ||||
-rw-r--r-- | src/aig/ivy/ivyCutTrav.c | 8 | ||||
-rw-r--r-- | src/aig/ivy/ivyRwr.c | 2 | ||||
-rw-r--r-- | src/aig/ivy/ivySeq.c | 2 | ||||
-rw-r--r-- | src/aig/saig/saigAbsCba.c | 10 | ||||
-rw-r--r-- | src/aig/saig/saigAbsPba.c | 8 | ||||
-rw-r--r-- | src/aig/saig/saigCexMin.c | 4 | ||||
-rw-r--r-- | src/aig/saig/saigConstr2.c | 4 | ||||
-rw-r--r-- | src/aig/saig/saigRefSat.c | 22 |
20 files changed, 59 insertions, 59 deletions
diff --git a/src/aig/aig/aigPart.c b/src/aig/aig/aigPart.c index 52960cd3..a481f2a9 100644 --- a/src/aig/aig/aigPart.c +++ b/src/aig/aig/aigPart.c @@ -343,7 +343,7 @@ Vec_Ptr_t * Aig_ManSupports( Aig_Man_t * pMan ) pObj->pNext = NULL; /* Aig_ManForEachPo( pMan, pObj, i ) - printf( "%d ", Vec_IntSize( (Vec_Int_t *)Vec_VecEntry(vSupports, i) ) ); + printf( "%d ", Vec_IntSize( Vec_VecEntryInt(vSupports, i) ) ); printf( "\n" ); */ return vSupports; diff --git a/src/aig/aig/aigPartSat.c b/src/aig/aig/aigPartSat.c index 3d9152ae..48e5cf80 100644 --- a/src/aig/aig/aigPartSat.c +++ b/src/aig/aig/aigPartSat.c @@ -559,12 +559,12 @@ int Aig_ManPartitionedSat( Aig_Man_t * p, int nAlgo, int nPartSize, clk = clock(); // transform polarity of the AIG if ( fAlignPol ) - Aig_ManPartSetNodePolarity( p, pAig, (Vec_Int_t *)Vec_VecEntry(vPio2Id,i) ); + Aig_ManPartSetNodePolarity( p, pAig, Vec_VecEntryInt(vPio2Id,i) ); else Aig_ManPartResetNodePolarity( pAig ); // add CNF of this partition to the SAT solver if ( Aig_ManAddNewCnfToSolver( pSat, pAig, vNode2Var, - (Vec_Int_t *)Vec_VecEntry(vPio2Id,i), (Vec_Ptr_t *)Vec_VecEntry(vPart2Pos,i), fAlignPol ) ) + Vec_VecEntryInt(vPio2Id,i), Vec_VecEntry(vPart2Pos,i), fAlignPol ) ) { RetValue = 1; break; diff --git a/src/aig/aig/aigUtil.c b/src/aig/aig/aigUtil.c index 5c0a18d7..5e58fcbe 100644 --- a/src/aig/aig/aigUtil.c +++ b/src/aig/aig/aigUtil.c @@ -574,7 +574,7 @@ void Aig_ObjPrintEqn( FILE * pFile, Aig_Obj_t * pObj, Vec_Vec_t * vLevels, int L } // AND case Vec_VecExpand( vLevels, Level ); - vSuper = (Vec_Ptr_t *)Vec_VecEntry(vLevels, Level); + vSuper = Vec_VecEntry(vLevels, Level); Aig_ObjCollectMulti( pObj, vSuper ); fprintf( pFile, "%s", (Level==0? "" : "(") ); Vec_PtrForEachEntry( Aig_Obj_t *, vSuper, pFanin, i ) @@ -623,7 +623,7 @@ void Aig_ObjPrintVerilog( FILE * pFile, Aig_Obj_t * pObj, Vec_Vec_t * vLevels, i if ( Aig_ObjIsExor(pObj) ) { Vec_VecExpand( vLevels, Level ); - vSuper = (Vec_Ptr_t *)Vec_VecEntry( vLevels, Level ); + vSuper = Vec_VecEntry( vLevels, Level ); Aig_ObjCollectMulti( pObj, vSuper ); fprintf( pFile, "%s", (Level==0? "" : "(") ); Vec_PtrForEachEntry( Aig_Obj_t *, vSuper, pFanin, i ) @@ -661,7 +661,7 @@ void Aig_ObjPrintVerilog( FILE * pFile, Aig_Obj_t * pObj, Vec_Vec_t * vLevels, i } // AND case Vec_VecExpand( vLevels, Level ); - vSuper = (Vec_Ptr_t *)Vec_VecEntry(vLevels, Level); + vSuper = Vec_VecEntry(vLevels, Level); Aig_ObjCollectMulti( pObj, vSuper ); fprintf( pFile, "%s", (Level==0? "" : "(") ); Vec_PtrForEachEntry( Aig_Obj_t *, vSuper, pFanin, i ) diff --git a/src/aig/cgt/cgtAig.c b/src/aig/cgt/cgtAig.c index 463c3060..428fcd1a 100644 --- a/src/aig/cgt/cgtAig.c +++ b/src/aig/cgt/cgtAig.c @@ -382,7 +382,7 @@ void Cgt_ManConstructCare( Aig_Man_t * pNew, Aig_Man_t * pCare, Vec_Vec_t * vSup // construct the constraints Vec_PtrForEachEntry( Aig_Obj_t *, vLeaves, pLeaf, i ) { - vOuts = (Vec_Int_t *)Vec_VecEntry( vSuppsInv, Aig_ObjPioNum(pLeaf) ); + vOuts = Vec_VecEntryInt( vSuppsInv, Aig_ObjPioNum(pLeaf) ); Vec_IntForEachEntry( vOuts, iOut, k ) { pPo = Aig_ManPo( pCare, iOut ); @@ -573,7 +573,7 @@ Aig_Man_t * Cgt_ManDeriveGatedAig( Aig_Man_t * pAig, Vec_Vec_t * vGates, int fRe pObj->pData = Aig_ObjCreatePo( pNew, Aig_ObjChild0Copy(pObj) ); Saig_ManForEachLiLo( pAig, pObjLi, pObjLo, i ) { - vOne = (Vec_Ptr_t *)Vec_VecEntry( vGates, i ); + vOne = Vec_VecEntry( vGates, i ); if ( Vec_PtrSize(vOne) == 0 ) pObjNew = Aig_ObjChild0Copy(pObjLi); else diff --git a/src/aig/cgt/cgtDecide.c b/src/aig/cgt/cgtDecide.c index 54a69e95..383ff970 100644 --- a/src/aig/cgt/cgtDecide.c +++ b/src/aig/cgt/cgtDecide.c @@ -103,7 +103,7 @@ int Cgt_ManCheckGateComplete( Aig_Man_t * pAig, Vec_Vec_t * vGatesAll, Aig_Obj_t { if ( Saig_ObjIsPo(pAig, pObj) ) return 0; - vGates = (Vec_Ptr_t *)Vec_VecEntry( vGatesAll, Aig_ObjPioNum(pObj) - Saig_ManPoNum(pAig) ); + vGates = Vec_VecEntry( vGatesAll, Aig_ObjPioNum(pObj) - Saig_ManPoNum(pAig) ); if ( Vec_PtrFind( vGates, pGate ) == -1 ) return 0; } @@ -200,7 +200,7 @@ Vec_Vec_t * Cgt_ManDecideSimple( Aig_Man_t * pAig, Vec_Vec_t * vGatesAll, int nO { nHitsMax = 0; pCandBest = NULL; - vCands = (Vec_Ptr_t *)Vec_VecEntry( vGatesAll, i ); + vCands = Vec_VecEntry( vGatesAll, i ); Vec_PtrForEachEntry( Aig_Obj_t *, vCands, pCand, k ) { // check if this is indeed a clock-gate diff --git a/src/aig/dar/darBalance.c b/src/aig/dar/darBalance.c index a35c66f8..8d97707e 100644 --- a/src/aig/dar/darBalance.c +++ b/src/aig/dar/darBalance.c @@ -112,7 +112,7 @@ Vec_Ptr_t * Dar_BalanceCone( Aig_Obj_t * pObj, Vec_Vec_t * vStore, int Level ) if ( Vec_VecSize( vStore ) <= Level ) Vec_VecPush( vStore, Level, 0 ); // get the temporary array of nodes - vNodes = (Vec_Ptr_t *)Vec_VecEntry( vStore, Level ); + vNodes = Vec_VecEntry( vStore, Level ); Vec_PtrClear( vNodes ); // collect the nodes in the implication supergate RetValue = Dar_BalanceCone_rec( pObj, pObj, vNodes ); diff --git a/src/aig/dar/darRefact.c b/src/aig/dar/darRefact.c index 87e2d0da..d13856ba 100644 --- a/src/aig/dar/darRefact.c +++ b/src/aig/dar/darRefact.c @@ -513,8 +513,8 @@ int Dar_ManRefactor( Aig_Man_t * pAig, Dar_RefPar_t * pPars ) // resynthesize each node once clkStart = clock(); - vCut = (Vec_Ptr_t *)Vec_VecEntry( p->vCuts, 0 ); - vCut2 = (Vec_Ptr_t *)Vec_VecEntry( p->vCuts, 1 ); + vCut = Vec_VecEntry( p->vCuts, 0 ); + vCut2 = Vec_VecEntry( p->vCuts, 1 ); p->nNodesInit = Aig_ManNodeNum(pAig); nNodesOld = Vec_PtrSize( pAig->vObjs ); // pProgress = Bar_ProgressStart( stdout, nNodesOld ); diff --git a/src/aig/fra/fraPart.c b/src/aig/fra/fraPart.c index 9556bb51..e9739f97 100644 --- a/src/aig/fra/fraPart.c +++ b/src/aig/fra/fraPart.c @@ -66,7 +66,7 @@ ABC_PRT( "Supports", clock() - clk ); // remove last entry Aig_ManForEachPo( p, pObj, i ) { - vSup = (Vec_Int_t *)Vec_VecEntry( vSupps, i ); + vSup = Vec_VecEntryInt( vSupps, i ); Vec_IntPop( vSup ); // remember support // pObj->pNext = (Aig_Obj_t *)vSup; @@ -77,7 +77,7 @@ clk = clock(); vSuppsIn = Vec_VecStart( Aig_ManPiNum(p) ); Aig_ManForEachPo( p, pObj, i ) { - vSup = (Vec_Int_t *)Vec_VecEntry( vSupps, i ); + vSup = Vec_VecEntryInt( vSupps, i ); Vec_IntForEachEntry( vSup, Entry, k ) Vec_VecPush( vSuppsIn, Entry, (void *)(ABC_PTRUINT_T)i ); } @@ -94,7 +94,7 @@ clk = clock(); { // Bar_ProgressUpdate( pProgress, i, NULL ); // get old supports - vSup = (Vec_Int_t *)Vec_VecEntry( vSupps, i ); + vSup = Vec_VecEntryInt( vSupps, i ); if ( Vec_IntSize(vSup) < 2 ) continue; // compute new supports @@ -109,7 +109,7 @@ clk = clock(); // pObj = Aig_ManObj( p, Entry ); // get support of this output // vSup2 = (Vec_Int_t *)pObj->pNext; - vSup2 = (Vec_Int_t *)Vec_VecEntry( vSupps, k ); + vSup2 = Vec_VecEntryInt( vSupps, k ); // count the number of common vars nCommon = Vec_IntTwoCountCommon(vSup, vSup2); if ( nCommon < 2 ) @@ -200,7 +200,7 @@ ABC_PRT( "Supports", clock() - clk ); // remove last entry Aig_ManForEachPo( p, pObj, i ) { - vSup = (Vec_Int_t *)Vec_VecEntry( vSupps, i ); + vSup = Vec_VecEntryInt( vSupps, i ); Vec_IntPop( vSup ); // remember support // pObj->pNext = (Aig_Obj_t *)vSup; @@ -213,7 +213,7 @@ clk = clock(); { if ( i == p->nAsserts ) break; - vSup = (Vec_Int_t *)Vec_VecEntry( vSupps, i ); + vSup = Vec_VecEntryInt( vSupps, i ); Vec_IntForEachEntry( vSup, Entry, k ) Vec_VecPush( vSuppsIn, Entry, (void *)(ABC_PTRUINT_T)i ); } @@ -226,17 +226,17 @@ clk = clock(); { if ( i % 50 != 0 ) continue; - vSup = (Vec_Int_t *)Vec_VecEntry( vSupps, i ); + vSup = Vec_VecEntryInt( vSupps, i ); memset( pSupp, 0, sizeof(char) * Aig_ManPiNum(p) ); // go through each input of this output Vec_IntForEachEntry( vSup, Entry, k ) { pSupp[Entry] = 1; - vSup2 = (Vec_Int_t *)Vec_VecEntry( vSuppsIn, Entry ); + vSup2 = Vec_VecEntryInt( vSuppsIn, Entry ); // go though each assert of this input Vec_IntForEachEntry( vSup2, Entry2, m ) { - vSup3 = (Vec_Int_t *)Vec_VecEntry( vSupps, Entry2 ); + vSup3 = Vec_VecEntryInt( vSupps, Entry2 ); // go through each input of this assert Vec_IntForEachEntry( vSup3, Entry3, n ) { diff --git a/src/aig/gia/giaEra2.c b/src/aig/gia/giaEra2.c index dedbc032..b3e516eb 100644 --- a/src/aig/gia/giaEra2.c +++ b/src/aig/gia/giaEra2.c @@ -1557,8 +1557,8 @@ int Gia_ManAreDeriveNexts_rec( Gia_ManAre_t * p, Gia_PtrAre_t Sta ) return p->fStopped; } // remember values in the cone and perform update - vTfos = (Vec_Int_t *)Vec_VecEntry( p->vCiTfos, Gia_ObjCioId(pPivot) ); - vLits = (Vec_Int_t *)Vec_VecEntry( p->vCiLits, Gia_ObjCioId(pPivot) ); + vTfos = Vec_VecEntryInt( p->vCiTfos, Gia_ObjCioId(pPivot) ); + vLits = Vec_VecEntryInt( p->vCiLits, Gia_ObjCioId(pPivot) ); assert( Vec_IntSize(vTfos) == Vec_IntSize(vLits) ); Gia_ManForEachObjVec( vTfos, p->pAig, pObj, i ) { diff --git a/src/aig/hop/hopBalance.c b/src/aig/hop/hopBalance.c index 9240ffa9..d7458bdc 100644 --- a/src/aig/hop/hopBalance.c +++ b/src/aig/hop/hopBalance.c @@ -188,7 +188,7 @@ Vec_Ptr_t * Hop_NodeBalanceCone( Hop_Obj_t * pObj, Vec_Vec_t * vStore, int Level if ( Vec_VecSize( vStore ) <= Level ) Vec_VecPush( vStore, Level, 0 ); // get the temporary array of nodes - vNodes = (Vec_Ptr_t *)Vec_VecEntry( vStore, Level ); + vNodes = Vec_VecEntry( vStore, Level ); Vec_PtrClear( vNodes ); // collect the nodes in the implication supergate RetValue = Hop_NodeBalanceCone_rec( pObj, pObj, vNodes ); diff --git a/src/aig/hop/hopUtil.c b/src/aig/hop/hopUtil.c index 17578f06..8cc7bdde 100644 --- a/src/aig/hop/hopUtil.c +++ b/src/aig/hop/hopUtil.c @@ -341,7 +341,7 @@ void Hop_ObjPrintEqn( FILE * pFile, Hop_Obj_t * pObj, Vec_Vec_t * vLevels, int L } // AND case Vec_VecExpand( vLevels, Level ); - vSuper = (Vec_Ptr_t *)Vec_VecEntry(vLevels, Level); + vSuper = Vec_VecEntry(vLevels, Level); Hop_ObjCollectMulti( pObj, vSuper ); fprintf( pFile, "%s", (Level==0? "" : "(") ); Vec_PtrForEachEntry( Hop_Obj_t *, vSuper, pFanin, i ) @@ -390,7 +390,7 @@ void Hop_ObjPrintVerilog( FILE * pFile, Hop_Obj_t * pObj, Vec_Vec_t * vLevels, i if ( Hop_ObjIsExor(pObj) ) { Vec_VecExpand( vLevels, Level ); - vSuper = (Vec_Ptr_t *)Vec_VecEntry( vLevels, Level ); + vSuper = Vec_VecEntry( vLevels, Level ); Hop_ObjCollectMulti( pObj, vSuper ); fprintf( pFile, "%s", (Level==0? "" : "(") ); Vec_PtrForEachEntry( Hop_Obj_t *, vSuper, pFanin, i ) @@ -428,7 +428,7 @@ void Hop_ObjPrintVerilog( FILE * pFile, Hop_Obj_t * pObj, Vec_Vec_t * vLevels, i } // AND case Vec_VecExpand( vLevels, Level ); - vSuper = (Vec_Ptr_t *)Vec_VecEntry(vLevels, Level); + vSuper = Vec_VecEntry(vLevels, Level); Hop_ObjCollectMulti( pObj, vSuper ); fprintf( pFile, "%s", (Level==0? "" : "(") ); Vec_PtrForEachEntry( Hop_Obj_t *, vSuper, pFanin, i ) diff --git a/src/aig/ivy/ivyBalance.c b/src/aig/ivy/ivyBalance.c index 4abdf8c3..2d001f8c 100644 --- a/src/aig/ivy/ivyBalance.c +++ b/src/aig/ivy/ivyBalance.c @@ -255,7 +255,7 @@ Vec_Ptr_t * Ivy_NodeBalanceCone( Ivy_Obj_t * pObj, Vec_Vec_t * vStore, int Level if ( Vec_VecSize( vStore ) <= Level ) Vec_VecPush( vStore, Level, 0 ); // get the temporary array of nodes - vNodes = (Vec_Ptr_t *)Vec_VecEntry( vStore, Level ); + vNodes = Vec_VecEntry( vStore, Level ); Vec_PtrClear( vNodes ); // collect the nodes in the implication supergate RetValue = Ivy_NodeBalanceCone_rec( pObj, pObj, vNodes ); diff --git a/src/aig/ivy/ivyCutTrav.c b/src/aig/ivy/ivyCutTrav.c index 3cdca141..a053c713 100644 --- a/src/aig/ivy/ivyCutTrav.c +++ b/src/aig/ivy/ivyCutTrav.c @@ -86,7 +86,7 @@ Ivy_Store_t * Ivy_NodeFindCutsTravAll( Ivy_Man_t * p, Ivy_Obj_t * pObj, int nLea Vec_PtrForEachEntry( Ivy_Obj_t *, vNodes, pLeaf, i ) { // skip the leaves - vCuts = (Vec_Ptr_t *)Vec_VecEntry( vBitCuts, Ivy_ObjTravId(pLeaf) ); + vCuts = Vec_VecEntry( vBitCuts, Ivy_ObjTravId(pLeaf) ); if ( Vec_PtrSize(vCuts) > 0 ) continue; // add elementary cut @@ -94,8 +94,8 @@ Ivy_Store_t * Ivy_NodeFindCutsTravAll( Ivy_Man_t * p, Ivy_Obj_t * pObj, int nLea // set it as the cut of this leaf Vec_VecPush( vBitCuts, Ivy_ObjTravId(pLeaf), pBitCut ); // get the fanin cuts - vCuts0 = (Vec_Ptr_t *)Vec_VecEntry( vBitCuts, Ivy_ObjTravId( Ivy_ObjFanin0(pLeaf) ) ); - vCuts1 = (Vec_Ptr_t *)Vec_VecEntry( vBitCuts, Ivy_ObjTravId( Ivy_ObjFanin1(pLeaf) ) ); + vCuts0 = Vec_VecEntry( vBitCuts, Ivy_ObjTravId( Ivy_ObjFanin0(pLeaf) ) ); + vCuts1 = Vec_VecEntry( vBitCuts, Ivy_ObjTravId( Ivy_ObjFanin1(pLeaf) ) ); assert( Vec_PtrSize(vCuts0) > 0 ); assert( Vec_PtrSize(vCuts1) > 0 ); // merge the cuts @@ -106,7 +106,7 @@ Ivy_Store_t * Ivy_NodeFindCutsTravAll( Ivy_Man_t * p, Ivy_Obj_t * pObj, int nLea pCutStore->nCuts = 0; pCutStore->nCutsMax = IVY_CUT_LIMIT; // collect the cuts of the root node - vCuts = (Vec_Ptr_t *)Vec_VecEntry( vBitCuts, Ivy_ObjTravId(pObj) ); + vCuts = Vec_VecEntry( vBitCuts, Ivy_ObjTravId(pObj) ); Vec_PtrForEachEntry( unsigned *, vCuts, pBitCut, i ) { pCut = pCutStore->pCuts + pCutStore->nCuts++; diff --git a/src/aig/ivy/ivyRwr.c b/src/aig/ivy/ivyRwr.c index b7cb500c..4e79e87f 100644 --- a/src/aig/ivy/ivyRwr.c +++ b/src/aig/ivy/ivyRwr.c @@ -366,7 +366,7 @@ Dec_Graph_t * Rwt_CutEvaluate( Ivy_Man_t * pMan, Rwt_Man_t * p, Ivy_Obj_t * pRoo Rwt_Node_t * pNode, * pFanin; int nNodesAdded, GainBest, i, k; // find the matching class of subgraphs - vSubgraphs = (Vec_Ptr_t *)Vec_VecEntry( p->vClasses, p->pMap[uTruth] ); + vSubgraphs = Vec_VecEntry( p->vClasses, p->pMap[uTruth] ); p->nSubgraphs += vSubgraphs->nSize; // determine the best subgraph GainBest = -1; diff --git a/src/aig/ivy/ivySeq.c b/src/aig/ivy/ivySeq.c index 69d05463..7f9674ac 100644 --- a/src/aig/ivy/ivySeq.c +++ b/src/aig/ivy/ivySeq.c @@ -316,7 +316,7 @@ Dec_Graph_t * Rwt_CutEvaluateSeq( Ivy_Man_t * pMan, Rwt_Man_t * p, Ivy_Obj_t * p Rwt_Node_t * pNode; int nNodesAdded, GainBest, i; // find the matching class of subgraphs - vSubgraphs = (Vec_Ptr_t *)Vec_VecEntry( p->vClasses, p->pMap[uTruth] ); + vSubgraphs = Vec_VecEntry( p->vClasses, p->pMap[uTruth] ); p->nSubgraphs += vSubgraphs->nSize; // determine the best subgraph GainBest = -1; diff --git a/src/aig/saig/saigAbsCba.c b/src/aig/saig/saigAbsCba.c index e317f80d..9d470164 100644 --- a/src/aig/saig/saigAbsCba.c +++ b/src/aig/saig/saigAbsCba.c @@ -336,10 +336,10 @@ Aig_Man_t * Saig_ManCbaUnrollWithCex( Aig_Man_t * pAig, Abc_Cex_t * pCex, int nI { // collect nodes starting from the roots Aig_ManIncrementTravId( pAig ); - vRoots = (Vec_Int_t *)Vec_VecEntry( vFrameCos, f ); + vRoots = Vec_VecEntryInt( vFrameCos, f ); Aig_ManForEachNodeVec( pAig, vRoots, pObj, i ) Saig_ManCbaUnrollCollect_rec( pAig, pObj, - (Vec_Int_t *)Vec_VecEntry(vFrameObjs, f), + Vec_VecEntryInt(vFrameObjs, f), (Vec_Int_t *)(f ? Vec_VecEntry(vFrameCos, f-1) : NULL) ); } @@ -354,7 +354,7 @@ Aig_Man_t * Saig_ManCbaUnrollWithCex( Aig_Man_t * pAig, Abc_Cex_t * pCex, int nI for ( f = 0; f <= pCex->iFrame; f++ ) { // construct - vObjs = (Vec_Int_t *)Vec_VecEntry( vFrameObjs, f ); + vObjs = Vec_VecEntryInt( vFrameObjs, f ); Aig_ManForEachNodeVec( pAig, vObjs, pObj, i ) { if ( Aig_ObjIsNode(pObj) ) @@ -381,7 +381,7 @@ Aig_Man_t * Saig_ManCbaUnrollWithCex( Aig_Man_t * pAig, Abc_Cex_t * pCex, int nI if ( f == pCex->iFrame ) break; // transfer - vRoots = (Vec_Int_t *)Vec_VecEntry( vFrameCos, f ); + vRoots = Vec_VecEntryInt( vFrameCos, f ); Aig_ManForEachNodeVec( pAig, vRoots, pObj, i ) { Saig_ObjLiToLo( pAig, pObj )->pData = pObj->pData; @@ -480,7 +480,7 @@ void Saig_ManCbaShrink( Saig_ManCba_t * p ) // print statistics Vec_VecForEachLevelInt( p->vReg2Frame, vLevel, k ) { - vLevel2 = (Vec_Int_t *)Vec_VecEntry( p->vReg2Value, k ); + vLevel2 = Vec_VecEntryInt( p->vReg2Value, k ); printf( "Level = %4d StateBits = %4d (%6.2f %%) CareBits = %4d (%6.2f %%)\n", k, Vec_IntSize(vLevel)/2, 100.0 * (Vec_IntSize(vLevel)/2) / Aig_ManRegNum(p->pAig), Vec_IntSize(vLevel2), 100.0 * Vec_IntSize(vLevel2) / Aig_ManRegNum(p->pAig) ); diff --git a/src/aig/saig/saigAbsPba.c b/src/aig/saig/saigAbsPba.c index 32b6a148..f2a595f7 100644 --- a/src/aig/saig/saigAbsPba.c +++ b/src/aig/saig/saigAbsPba.c @@ -86,14 +86,14 @@ Aig_Man_t * Saig_ManUnrollForPba( Aig_Man_t * pAig, int nFrames ) for ( f = nFrames-1; f >= 0; f-- ) { // add POs of this frame - vRoots = (Vec_Int_t *)Vec_VecEntry( vFrameCos, f ); + vRoots = Vec_VecEntryInt( vFrameCos, f ); Saig_ManForEachPo( pAig, pObj, i ) Vec_IntPush( vRoots, Aig_ObjId(pObj) ); // collect nodes starting from the roots Aig_ManIncrementTravId( pAig ); Aig_ManForEachNodeVec( pAig, vRoots, pObj, i ) Saig_ManUnrollForPba_rec( pAig, pObj, - (Vec_Int_t *)Vec_VecEntry( vFrameObjs, f ), + Vec_VecEntryInt( vFrameObjs, f ), (Vec_Int_t *)(f ? Vec_VecEntry(vFrameCos, f-1) : NULL) ); } // derive unrolled timeframes @@ -111,7 +111,7 @@ Aig_Man_t * Saig_ManUnrollForPba( Aig_Man_t * pAig, int nFrames ) for ( f = 0; f < nFrames; f++ ) { // construct - vObjs = (Vec_Int_t *)Vec_VecEntry( vFrameObjs, f ); + vObjs = Vec_VecEntryInt( vFrameObjs, f ); Aig_ManForEachNodeVec( pAig, vObjs, pObj, i ) { if ( Aig_ObjIsNode(pObj) ) @@ -131,7 +131,7 @@ Aig_Man_t * Saig_ManUnrollForPba( Aig_Man_t * pAig, int nFrames ) // transfer if ( f == nFrames - 1 ) break; - vRoots = (Vec_Int_t *)Vec_VecEntry( vFrameCos, f ); + vRoots = Vec_VecEntryInt( vFrameCos, f ); Aig_ManForEachNodeVec( pAig, vRoots, pObj, i ) { if ( Saig_ObjIsLi(pAig, pObj) ) diff --git a/src/aig/saig/saigCexMin.c b/src/aig/saig/saigCexMin.c index a2ad3e59..ac397297 100644 --- a/src/aig/saig/saigCexMin.c +++ b/src/aig/saig/saigCexMin.c @@ -184,7 +184,7 @@ void Saig_ManCollectFrameTerms( Aig_Man_t * pAig, Abc_Cex_t * pCex, Vec_Vec_t * Aig_ManIncrementTravId( pAig ); Vec_VecForEachEntryIntLevel( vFrameLis, Entry, i, f ) Saig_ManCollectFrameTerms_rec( pAig, Aig_ManObj(pAig, Entry), - (Vec_Int_t *)Vec_VecEntry( vFramePis, f ), + Vec_VecEntryInt( vFramePis, f ), (Vec_Int_t *)(f ? Vec_VecEntry( vFrameLis, f-1 ) : NULL) ); } } @@ -302,7 +302,7 @@ Abc_Cex_t * Saig_ManCexMinPerform( Aig_Man_t * pAig, Abc_Cex_t * pCex ) Aig_ManIncrementTravId( pAig ); Vec_VecForEachEntryIntLevel( vFrameLis, Entry, i, f ) Saig_ManCexMinFindReason_rec( pAig, Aig_ManObj(pAig, Entry), vPrios, - (Vec_Int_t *)Vec_VecEntry( vReasonPis, f ), + Vec_VecEntryInt( vReasonPis, f ), (Vec_Int_t *)(f ? Vec_VecEntry( vReasonLis, f-1 ) : NULL) ); } diff --git a/src/aig/saig/saigConstr2.c b/src/aig/saig/saigConstr2.c index a5a575fd..6665d9f1 100644 --- a/src/aig/saig/saigConstr2.c +++ b/src/aig/saig/saigConstr2.c @@ -784,7 +784,7 @@ Vec_Vec_t * Saig_ManDetectConstrFunc( Aig_Man_t * p, int nFrames, int nConfs, in pObjNew = Aig_NotCond(pObj, !Aig_IsComplement(pRepr)); for ( j = 0; j < k; j++ ) - if ( Vec_PtrFind( (Vec_Ptr_t *)Vec_VecEntry(vCands, j), pObjNew ) >= 0 ) + if ( Vec_PtrFind( Vec_VecEntry(vCands, j), pObjNew ) >= 0 ) break; if ( j == k ) Vec_VecPush( vCands, k, pObjNew ); @@ -795,7 +795,7 @@ Vec_Vec_t * Saig_ManDetectConstrFunc( Aig_Man_t * p, int nFrames, int nConfs, in pObjNew = Aig_NotCond(pObj, Aig_IsComplement(pRepr)); for ( j = 0; j < k; j++ ) - if ( Vec_PtrFind( (Vec_Ptr_t *)Vec_VecEntry(vCands, j), pObjNew ) >= 0 ) + if ( Vec_PtrFind( Vec_VecEntry(vCands, j), pObjNew ) >= 0 ) break; if ( j == k ) Vec_VecPush( vCands, k, pObjNew ); diff --git a/src/aig/saig/saigRefSat.c b/src/aig/saig/saigRefSat.c index 27c243b5..d117c643 100644 --- a/src/aig/saig/saigRefSat.c +++ b/src/aig/saig/saigRefSat.c @@ -286,10 +286,10 @@ Aig_Man_t * Saig_ManUnrollWithCex( Aig_Man_t * pAig, Abc_Cex_t * pCex, int nInpu { // collect nodes starting from the roots Aig_ManIncrementTravId( pAig ); - vRoots = (Vec_Int_t *)Vec_VecEntry( vFrameCos, f ); + vRoots = Vec_VecEntryInt( vFrameCos, f ); Aig_ManForEachNodeVec( pAig, vRoots, pObj, i ) Saig_ManUnrollCollect_rec( pAig, pObj, - (Vec_Int_t *)Vec_VecEntry(vFrameObjs, f), + Vec_VecEntryInt(vFrameObjs, f), (Vec_Int_t *)(f ? Vec_VecEntry(vFrameCos, f-1) : NULL) ); } @@ -304,7 +304,7 @@ Aig_Man_t * Saig_ManUnrollWithCex( Aig_Man_t * pAig, Abc_Cex_t * pCex, int nInpu for ( f = 0; f <= pCex->iFrame; f++ ) { // construct - vObjs = (Vec_Int_t *)Vec_VecEntry( vFrameObjs, f ); + vObjs = Vec_VecEntryInt( vFrameObjs, f ); Aig_ManForEachNodeVec( pAig, vObjs, pObj, i ) { if ( Aig_ObjIsNode(pObj) ) @@ -331,7 +331,7 @@ Aig_Man_t * Saig_ManUnrollWithCex( Aig_Man_t * pAig, Abc_Cex_t * pCex, int nInpu if ( f == pCex->iFrame ) break; // transfer - vRoots = (Vec_Int_t *)Vec_VecEntry( vFrameCos, f ); + vRoots = Vec_VecEntryInt( vFrameCos, f ); Aig_ManForEachNodeVec( pAig, vRoots, pObj, i ) Saig_ObjLiToLo( pAig, pObj )->pData = pObj->pData; } @@ -574,7 +574,7 @@ Abc_Cex_t * Saig_RefManRunSat( Saig_RefMan_t * p, int fNewOrder ) Vec_IntPush( vAssumps, Entry ); for ( i = 0; i < Vec_VecSize(vLits); i++ ) - printf( "%d ", Vec_IntSize( (Vec_Int_t *)Vec_VecEntry(vLits, i) ) ); + printf( "%d ", Vec_IntSize( Vec_VecEntryInt(vLits, i) ) ); printf( "\n" ); if ( p->fVerbose ) @@ -624,7 +624,7 @@ clk = clock(); Vec_IntPush( vAssumps, Entry ); // for ( i = 0; i < Vec_VecSize(vLits); i++ ) -// printf( "%d ", Vec_IntSize( (Vec_Int_t *)Vec_VecEntry(vLits, i) ) ); +// printf( "%d ", Vec_IntSize( Vec_VecEntryInt(vLits, i) ) ); // printf( "\n" ); if ( p->fVerbose ) @@ -655,12 +655,12 @@ clk = clock(); continue; // UNSAT - remove literals - Vec_IntClear( (Vec_Int_t *)Vec_VecEntry(vLits, f) ); + Vec_IntClear( Vec_VecEntryInt(vLits, f) ); Counter--; } for ( i = 0; i < Vec_VecSize(vLits); i++ ) - printf( "%d ", Vec_IntSize( (Vec_Int_t *)Vec_VecEntry(vLits, i) ) ); + printf( "%d ", Vec_IntSize( Vec_VecEntryInt(vLits, i) ) ); printf( "\n" ); if ( p->fVerbose ) @@ -787,7 +787,7 @@ Vec_Int_t * Saig_RefManRefineWithSat( Saig_RefMan_t * p, Vec_Int_t * vAigPis ) // derive literals vLits = Saig_RefManOrderLiterals( p, vVar2PiId, vAssumps ); for ( i = 0; i < Vec_VecSize(vLits); i++ ) - printf( "%d ", Vec_IntSize( (Vec_Int_t *)Vec_VecEntry(vLits, i) ) ); + printf( "%d ", Vec_IntSize( Vec_VecEntryInt(vLits, i) ) ); printf( "\n" ); // create different sets of assumptions @@ -808,12 +808,12 @@ Vec_Int_t * Saig_RefManRefineWithSat( Saig_RefMan_t * p, Vec_Int_t * vAigPis ) continue; // UNSAT - remove literals - Vec_IntClear( (Vec_Int_t *)Vec_VecEntry(vLits, f) ); + Vec_IntClear( Vec_VecEntryInt(vLits, f) ); Counter--; } for ( i = 0; i < Vec_VecSize(vLits); i++ ) - printf( "%d ", Vec_IntSize( (Vec_Int_t *)Vec_VecEntry(vLits, i) ) ); + printf( "%d ", Vec_IntSize( Vec_VecEntryInt(vLits, i) ) ); printf( "\n" ); // create assumptions |