Searched refs:nClauCount (Results 1 – 1 of 1) sorted by relevance
352 int * pCostCount, nClauCount, Cost, CostMax, i, c; in Fra_ClausSelectClauses() local367 nClauCount = 0; in Fra_ClausSelectClauses()371 nClauCount += pCostCount[c]; in Fra_ClausSelectClauses()372 if ( nClauCount >= p->nClausesMax ) in Fra_ClausSelectClauses()376 nClauCount = 0; in Fra_ClausSelectClauses()379 if ( Cost >= c && nClauCount < p->nClausesMax ) in Fra_ClausSelectClauses()381 nClauCount++; in Fra_ClausSelectClauses()387 p->nClauses = nClauCount; in Fra_ClausSelectClauses()389 printf( "Selected %d clauses. Cost range: [%d < %d < %d]\n", nClauCount, 1, c, CostMax ); in Fra_ClausSelectClauses()