| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/amap/ |
| H A D | amapPerm.c | 107 return vPerm; in Amap_LibDeriveGatePerm_rec()
118 Vec_IntFree( vPerm ); in Amap_LibDeriveGatePerm_rec()
130 Vec_IntFree( vPerm ); in Amap_LibDeriveGatePerm_rec()
142 Vec_IntFree( vPerm ); in Amap_LibDeriveGatePerm_rec()
149 return vPerm; in Amap_LibDeriveGatePerm_rec()
163 vPerm = Vec_IntAlloc( 10 ); in Amap_LibDeriveGatePerm_rec()
220 Vec_IntFreeP( &vPerm ); in Amap_LibDeriveGatePerm_rec()
223 return vPerm; in Amap_LibDeriveGatePerm_rec()
334 Vec_Int_t * vPerm; in Amap_LibDeriveGatePerm() local
339 if ( vPerm == NULL ) in Amap_LibDeriveGatePerm()
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/ |
| H A D | saigIso.c | 132 Vec_Int_t * vPerm, * vPermCo; in Saig_ManDupIsoCanonical() local
135 vPerm = Saig_ManFindIsoPerm( pAig, fVerbose ); in Saig_ManDupIsoCanonical()
136 vPermCo = Saig_ManFindIsoPermCos( pAig, vPerm ); in Saig_ManDupIsoCanonical()
146 Vec_IntForEachEntry( vPerm, Entry, i ) in Saig_ManDupIsoCanonical()
165 Vec_IntFreeP( &vPerm ); in Saig_ManDupIsoCanonical()
542 Vec_Int_t * vPerm; in Iso_ManTest() local
544 vPerm = Saig_ManFindIsoPerm( pAig, fVerbose ); in Iso_ManTest()
545 Vec_IntFree( vPerm ); in Iso_ManTest()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/ |
| H A D | cecSplit.c | 179 Vec_Int_t * vPerm;
183 vPerm = Vec_IntAlloc( Gia_ManPiNum(p) );
185 Vec_IntPush( vPerm, Gia_ObjRefNum(p, pObj) );
186 pOrder = Abc_QuickSortCost( Vec_IntArray(vPerm), Vec_IntSize(vPerm), 1 );
187 Vec_IntFree( vPerm );
193 Vec_Int_t * vPerm;
195 vPerm = Vec_IntAllocArray( pOrder, Gia_ManPiNum(p) );
196 pNew = Gia_ManDupPerm( p, vPerm );
197 Vec_IntFree( vPerm );
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/ |
| H A D | abcFanOrder.c | 125 static inline void Vec_StrSelectSortCost( char ** pArray, int nSize, Vec_Int_t * vPerm ) in Vec_StrSelectSortCost() argument
128 Vec_IntClear( vPerm ); in Vec_StrSelectSortCost()
130 Vec_IntPush( vPerm, i ); in Vec_StrSelectSortCost()
131 pPerm = Vec_IntArray( vPerm ); in Vec_StrSelectSortCost()
213 …ne void Vec_StrSelectSortCost2( char ** pArray, int nSize, Vec_Int_t * vCounts, Vec_Int_t * vPerm ) in Vec_StrSelectSortCost2() argument
216 Vec_IntClear( vPerm ); in Vec_StrSelectSortCost2()
218 Vec_IntPush( vPerm, i ); in Vec_StrSelectSortCost2()
219 pPerm = Vec_IntArray( vPerm ); in Vec_StrSelectSortCost2()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaSweep.c | 610 Vec_Int_t * vPerm; in Gia_ManSweepComputeOneDomainEquivs() local
617 vPerm = Vec_IntAlloc( Gia_ManRegNum(p) ); in Gia_ManSweepComputeOneDomainEquivs()
620 Vec_IntPush( vPerm, i ); in Gia_ManSweepComputeOneDomainEquivs()
621 nFlops = Vec_IntSize( vPerm ); in Gia_ManSweepComputeOneDomainEquivs()
624 Vec_IntPush( vPerm, i ); in Gia_ManSweepComputeOneDomainEquivs()
625 nFlops = Vec_IntSize(vPerm) - nFlops; in Gia_ManSweepComputeOneDomainEquivs()
626 assert( Vec_IntSize(vPerm) == Gia_ManRegNum(p) ); in Gia_ManSweepComputeOneDomainEquivs()
628 pNew = Gia_ManDupPermFlop( p, vPerm ); in Gia_ManSweepComputeOneDomainEquivs()
630 Vec_IntFree( vPerm ); in Gia_ManSweepComputeOneDomainEquivs()
|
| H A D | giaIso.c | 1269 Vec_Int_t * vPerm; in Gia_IsoTestGenPerm() local
1271 vPerm = Vec_IntStartNatural( nPis ); in Gia_IsoTestGenPerm()
1272 pArray = Vec_IntArray( vPerm ); in Gia_IsoTestGenPerm()
1278 return vPerm; in Gia_IsoTestGenPerm()
|
| H A D | giaDup.c | 920 Vec_Int_t * vPerm = Vec_IntCondense( vFfMask, -1 ); in Gia_ManDupPermFlopGap() local
921 Gia_Man_t * pPerm = Gia_ManDupPermFlop( p, vPerm ); in Gia_ManDupPermFlopGap()
923 Vec_IntFree( vPerm ); in Gia_ManDupPermFlopGap()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/ |
| H A D | sswRarity.c | 1152 Vec_Int_t * vPerm; in Ssw_RarRandomPermFlop() local
1156 vPerm = Vec_IntStartNatural( nFlops ); in Ssw_RarRandomPermFlop()
1157 pArray = Vec_IntArray( vPerm ); in Ssw_RarRandomPermFlop()
1166 k = rand() % Vec_IntSize(vPerm); in Ssw_RarRandomPermFlop()
1167 Vec_IntPush( vPerm, -1 ); in Ssw_RarRandomPermFlop()
1168 pArray = Vec_IntArray( vPerm ); in Ssw_RarRandomPermFlop()
1169 ABC_SWAP( int, pArray[Vec_IntSize(vPerm)-1], pArray[k] ); in Ssw_RarRandomPermFlop()
1172 return vPerm; in Ssw_RarRandomPermFlop()
1192 Vec_Int_t * vPerm = Ssw_RarRandomPermFlop( Gia_ManRegNum(p), 10 ); in Ssw_RarSimulateGia() local
1193 Gia_Man_t * pTemp = Gia_ManDupPermFlopGap( p, vPerm ); in Ssw_RarSimulateGia()
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/util/ |
| H A D | utilCex.c | 529 Vec_Int_t * vPerm; in Abc_CexPermuteTwo() local
533 vPerm = Vec_IntStartFull( p->nPis ); in Abc_CexPermuteTwo()
535 Vec_IntWriteEntry( vPerm, eOld, eNew ); in Abc_CexPermuteTwo()
536 pCex = Abc_CexPermute( p, vPerm ); in Abc_CexPermuteTwo()
537 Vec_IntFree( vPerm ); in Abc_CexPermuteTwo()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/ver/ |
| H A D | ver.h | 71 Vec_Int_t * vPerm; member
|
| H A D | verCore.c | 120 p->vPerm = Vec_IntAlloc( 100 ); in Ver_ParseStart()
150 Vec_IntFree( p->vPerm ); in Ver_ParseStop()
1593 Vec_IntClear( pMan->vPerm ); in Ver_ParseGate()
1662 Vec_IntPush( pMan->vPerm, Input ); in Ver_ParseGate()
1708 Vec_IntForEachEntry( pMan->vPerm, Input, i ) in Ver_ParseGate()
1711 if ( i < Vec_IntSize(pMan->vPerm) ) in Ver_ParseGate()
1715 Vec_IntPush( pMan->vPerm, Abc_ObjFaninId(pNode, i) ); in Ver_ParseGate()
1718 …Vec_IntWriteEntry( &pNode->vFanins, Vec_IntEntry(pMan->vPerm, i), Vec_IntEntry(pMan->vPerm, i+nFan… in Ver_ParseGate()
|
| /dports/science/PETSc/petsc-3.14.1/src/dm/impls/plex/ |
| H A D | plextree.c | 2115 PetscInt vPerm = perm[v]; in DMPlexTreeRefineCell() local
2122 ierr = PetscSectionGetOffset(vSection,vPerm,&off);CHKERRQ(ierr); in DMPlexTreeRefineCell()
|