Searched refs:nPairsTotal (Results 1 – 7 of 7) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/fxu/ |
| H A D | fxuReduce.c | 53 int Fxu_PreprocessCubePairs( Fxu_Matrix * p, Vec_Ptr_t * vCovers, int nPairsTotal, int nPairsMax ) in Fxu_PreprocessCubePairs() argument
67 assert( nPairsMax < nPairsTotal ); in Fxu_PreprocessCubePairs()
70 pnLitsDiff = ABC_FALLOC( unsigned char, nPairsTotal ); in Fxu_PreprocessCubePairs()
86 assert( iPair == nPairsTotal ); in Fxu_PreprocessCubePairs()
92 for ( k = 0; k < nPairsTotal; k++ ) in Fxu_PreprocessCubePairs()
128 for ( k = 0; k < nPairsTotal; k++ ) in Fxu_PreprocessCubePairs()
165 assert( iPair == nPairsTotal ); in Fxu_PreprocessCubePairs()
|
| H A D | fxuCreate.c | 35 extern int Fxu_PreprocessCubePairs( Fxu_Matrix * p, Vec_Ptr_t * vCovers, int nPairsTotal, i…
64 int nPairsTotal; in Fxu_CreateMatrix() local
72 nPairsTotal = 0; in Fxu_CreateMatrix()
83 nPairsTotal += nCubes * (nCubes - 1) / 2; in Fxu_CreateMatrix()
172 if ( nPairsTotal <= pData->nPairsMax ) in Fxu_CreateMatrix()
185 if ( nPairsTotal > 10000000 ) in Fxu_CreateMatrix()
195 if ( nPairsTotal > pData->nPairsMax ) in Fxu_CreateMatrix()
196 if ( !Fxu_PreprocessCubePairs( p, pData->vSops, nPairsTotal, pData->nPairsMax ) ) in Fxu_CreateMatrix()
226 fprintf( stdout, "2-cube divs = %6d. (Total = %6d)", p->nDivsTotal, nPairsTotal ); in Fxu_CreateMatrix()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sim/ |
| H A D | simSym.c | 58 …p->nPairsTotal = p->nPairsRem = Sim_UtilCountAllPairs( p->vSuppFun, p->nSimWords, p->vPairsTotal ); in Sim_ComputeTwoVarSymms()
61 p->nPairsTotal, p->nPairsSymm, p->nPairsNonSymm, p->nPairsRem ); in Sim_ComputeTwoVarSymms()
72 p->nPairsTotal, p->nPairsSymm, p->nPairsNonSymm, p->nPairsRem ); in Sim_ComputeTwoVarSymms()
90 p->nPairsTotal, p->nPairsSymm, p->nPairsNonSymm, p->nPairsRem ); in Sim_ComputeTwoVarSymms()
124 p->nPairsTotal, p->nPairsSymm, p->nPairsNonSymm, p->nPairsRem ); in Sim_ComputeTwoVarSymms()
131 p->nPairsTotal, p->nPairsSymm, p->nPairsNonSymm, p->nPairsRem ); in Sim_ComputeTwoVarSymms()
|
| H A D | simSymSim.c | 52 int i, nPairsTotal, nPairsSym, nPairsNonSym; in Sim_SymmsSimulate() local
73 nPairsTotal = Vec_IntEntry(p->vPairsTotal, i); in Sim_SymmsSimulate()
76 assert( nPairsTotal >= nPairsSym + nPairsNonSym ); in Sim_SymmsSimulate()
77 if ( nPairsTotal == nPairsSym + nPairsNonSym ) in Sim_SymmsSimulate()
|
| H A D | simUtils.c | 661 int nPairsTotal, nPairsSym, nPairsNonSym, i; in Sim_UtilCountPairsAll() local
668 nPairsTotal = Vec_IntEntry(p->vPairsTotal, i); in Sim_UtilCountPairsAll()
671 assert( nPairsTotal >= nPairsSym + nPairsNonSym ); in Sim_UtilCountPairsAll()
672 if ( nPairsTotal == nPairsSym + nPairsNonSym ) in Sim_UtilCountPairsAll()
680 assert( nPairsTotal >= nPairsSym + nPairsNonSym ); in Sim_UtilCountPairsAll()
688 p->nPairsRem = p->nPairsTotal-p->nPairsSymm-p->nPairsNonSymm; in Sim_UtilCountPairsAll()
|
| H A D | sim.h | 89 int nPairsTotal; member
|
| H A D | simMan.c | 142 printf( "Total var pairs = %8d.\n", p->nPairsTotal ); in Sym_ManPrintStats()
|