| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/ |
| H A D | acecMult.c | 164 int nPerms = Extra_Factorial( nVars ); in Extra_TruthCanonNPN3() local
175 for ( p = 0; p < nPerms; p++ ) in Extra_TruthCanonNPN3()
219 static int nVarsOld, nPerms; in Extra_TruthCanonNPN2() local
227 nPerms = Extra_Factorial( nVars ); in Extra_TruthCanonNPN2()
234 nPerms = Extra_Factorial( nVars ); in Extra_TruthCanonNPN2()
245 for ( k = 0; k < nPerms; k++ ) in Extra_TruthCanonNPN2()
254 for ( k = 0; k < nPerms; k++ ) in Extra_TruthCanonNPN2()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/extra/ |
| H A D | extraUtilMisc.c | 498 static int nVarsOld, nPerms; in Extra_TruthCanonP() local
506 nPerms = Extra_Factorial( nVars ); in Extra_TruthCanonP()
513 nPerms = Extra_Factorial( nVars ); in Extra_TruthCanonP()
519 for ( k = 0; k < nPerms; k++ ) in Extra_TruthCanonP()
541 static int nVarsOld, nPerms; in Extra_TruthCanonNP() local
549 nPerms = Extra_Factorial( nVars ); in Extra_TruthCanonNP()
556 nPerms = Extra_Factorial( nVars ); in Extra_TruthCanonNP()
566 for ( k = 0; k < nPerms; k++ ) in Extra_TruthCanonNP()
589 static int nVarsOld, nPerms; in Extra_TruthCanonNPN() local
615 for ( k = 0; k < nPerms; k++ ) in Extra_TruthCanonNPN()
[all …]
|
| H A D | extraUtilDsd.c | 752 int nPerms = Extra_Factorial( nVars ); in Sdm_ManPrecomputePerms() local
774 for ( k = 0; k < nPerms; k++ ) in Sdm_ManPrecomputePerms()
846 p->vPerm6 = Vec_WrdAlloc( nPerms * DSD_CLASS_NUM ); in Sdm_ManPrecomputePerms()
850 for ( k = 0; k < nPerms; k++ ) in Sdm_ManPrecomputePerms()
|
| H A D | extraUtilPerm.c | 791 int nPerms = 3; in Abc_ZddPermTestInt() local
796 for ( i = 0; i < nPerms; i++ ) in Abc_ZddPermTestInt()
798 for ( i = 0; i < nPerms; i++ ) in Abc_ZddPermTestInt()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sfm/ |
| H A D | sfmArea.c | 55 int * pPerm[7], nPerms[7], Perm[7], * Perm1, * Perm2; in Abc_NtkPrecomputeCellPairs() local
63 nPerms[i] = Extra_Factorial( i ); in Abc_NtkPrecomputeCellPairs()
92 for ( p = 0; p < nPerms[nFanins]; p++ ) in Abc_NtkPrecomputeCellPairs()
103 if ( nPerms[nFanins] == 1 ) in Abc_NtkPrecomputeCellPairs()
|
| H A D | sfmLib.c | 444 int nPerms[SFM_SUPP_MAX+1], i, f, n; in Sfm_LibPrepare() local
467 nPerms[i] = Extra_Factorial( i ); in Sfm_LibPrepare()
479 for ( n = 0; n < nPerms[nFanins]; n++ ) in Sfm_LibPrepare()
511 for ( n = 0; n < nPerms[nFanins]; n++ ) in Sfm_LibPrepare()
|
| /dports/www/grafana8/grafana-8.3.6/vendor/gonum.org/v1/gonum/stat/combin/ |
| H A D | combin.go | 447 nPerms := NumPermutations(n, k)
448 data := make([][]int, nPerms)
452 for i := 0; i < nPerms; i++ {
|
| /dports/graphics/p5-Geo-GDAL/gdal-3.3.3/port/ |
| H A D | cpl_vsil_crypt.cpp | 749 int nPerms = 0; member in VSICryptFileHandle
775 int nPerms );
800 nPerms(nPermsIn), in VSICryptFileHandle()
1069 if( (nPerms & VSICRYPT_READ) == 0 ) in Read()
1116 if( (nPerms & VSICRYPT_WRITE) && in Read()
1156 if( (nPerms & VSICRYPT_WRITE) == 0 ) in Write()
1310 if( (nPerms & VSICRYPT_WRITE) == 0 ) in Truncate()
1350 if( (nPerms & VSICRYPT_WRITE) ) in Flush()
|
| /dports/graphics/gdal/gdal-3.3.3/port/ |
| H A D | cpl_vsil_crypt.cpp | 749 int nPerms = 0; member in VSICryptFileHandle
775 int nPerms );
800 nPerms(nPermsIn), in VSICryptFileHandle()
1069 if( (nPerms & VSICRYPT_READ) == 0 ) in Read()
1116 if( (nPerms & VSICRYPT_WRITE) && in Read()
1156 if( (nPerms & VSICRYPT_WRITE) == 0 ) in Write()
1310 if( (nPerms & VSICRYPT_WRITE) == 0 ) in Truncate()
1350 if( (nPerms & VSICRYPT_WRITE) ) in Flush()
|
| /dports/graphics/py-gdal/gdal-3.3.3/port/ |
| H A D | cpl_vsil_crypt.cpp | 749 int nPerms = 0; member in VSICryptFileHandle
775 int nPerms );
800 nPerms(nPermsIn), in VSICryptFileHandle()
1069 if( (nPerms & VSICRYPT_READ) == 0 ) in Read()
1116 if( (nPerms & VSICRYPT_WRITE) && in Read()
1156 if( (nPerms & VSICRYPT_WRITE) == 0 ) in Write()
1310 if( (nPerms & VSICRYPT_WRITE) == 0 ) in Truncate()
1350 if( (nPerms & VSICRYPT_WRITE) ) in Flush()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mpm/ |
| H A D | mpmPre.c | 804 int nPerms = Extra_Factorial( nVars ); in Extra_Truth6AllConfigs2() local
806 Vec_Wrd_t * vTruths = Vec_WrdStart( nPerms * (1 << (nVars+1)) ); in Extra_Truth6AllConfigs2()
813 for ( p = 0; p < nPerms; p++ ) in Extra_Truth6AllConfigs2()
837 int nPerms = Extra_Factorial( nVars ); in Extra_Truth6AllConfigs() local
839 Vec_Wrd_t * vTruths = Vec_WrdStart( nPerms * nSwaps ); in Extra_Truth6AllConfigs()
844 for ( p = 0; p < nPerms; p++ ) in Extra_Truth6AllConfigs()
|
| H A D | mpmDsd.c | 760 int nPerms = Extra_Factorial( nVars ); in Mpm_ManPrecomputePerms() local
782 for ( k = 0; k < nPerms; k++ ) in Mpm_ManPrecomputePerms()
854 p->vPerm6 = Vec_WrdAlloc( nPerms * 595 ); in Mpm_ManPrecomputePerms()
858 for ( k = 0; k < nPerms; k++ ) in Mpm_ManPrecomputePerms()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mio/ |
| H A D | mioUtils.c | 1245 int nPerms = Extra_Factorial( nVars ); in Nf_ManPrepareGate() local
1254 for ( p = 0; p < nPerms; p++ ) in Nf_ManPrepareGate()
1270 int nPerms = Extra_Factorial( nVars ); in Nf_ManPreparePrint() local
1281 for ( p = 0; p < nPerms; p++ ) in Nf_ManPreparePrint()
1297 assert( n == 2*nPerms*nMints ); in Nf_ManPreparePrint()
1300 for ( p = 0; p < nPerms; p++ ) in Nf_ManPreparePrint()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaPf.c | 177 int nPerms = pnPerms[pCell->nFanins]; in Pf_StoCreateGate() local
184 for ( p = 0; p < nPerms; p++ ) in Pf_StoCreateGate()
209 int nPerms[7], i; in Pf_StoDeriveMatches() local
215 nPerms[i] = Extra_Factorial( i ); in Pf_StoDeriveMatches()
218 Pf_StoCreateGate( p, p->pCells + i, pComp, pPerm, nPerms ); in Pf_StoDeriveMatches()
|
| H A D | giaNf.c | 251 int nPerms = pnPerms[pCell->nFanins]; in Nf_StoCreateGateMaches() local
259 for ( p = 0; p < nPerms; p++ ) in Nf_StoCreateGateMaches()
271 if ( nPerms == 1 ) in Nf_StoCreateGateMaches()
287 int * pComp[7], * pPerm[7], nPerms[7], i; in Nf_StoDeriveMatches() local
296 nPerms[i] = Extra_Factorial( i ); in Nf_StoDeriveMatches()
300 …Nf_StoCreateGateMaches( vTtMem, vTt2Match, pCells+i, pComp, pPerm, nPerms, vProfs, vStore, fPinFil… in Nf_StoDeriveMatches()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dau/ |
| H A D | dauNpn2.c | 36 int nPerms; // number of permutations member
414 p->nPerms = Extra_Factorial( nVars ); in Dtt_ManAlloc()
496 for ( i = 0; i < p->nPerms; i++ ) in Dtt_ManCollect()
890 for ( i = 0; i < p->nPerms; i++ ) in Dtt_FindNP()
|
| H A D | dauTree.c | 729 int i, k, nPerms; in Dss_NtkTransform() local
742 nPerms = 0; in Dss_NtkTransform()
743 if ( Dss_NtkCollectPerm_rec( p, p->pRoot, pPermDsd, &nPerms ) ) in Dss_NtkTransform()
745 assert( nPerms == (int)Dss_Regular(p->pRoot)->nSupp ); in Dss_NtkTransform()
|
| H A D | dauNpn.c | 54 int nPerms = Extra_Factorial( nVars ); in Dau_TruthEnum() local
86 for ( i = 0; i < nPerms; i++ ) in Dau_TruthEnum()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/ |
| H A D | ifTruth.c | 348 int nPerms = Extra_Factorial( nVars ); in If_DeriveHashTable6() local
359 for ( p = 0; p < nPerms; p++ ) in If_DeriveHashTable6()
|