Searched refs:nClausesMax (Results 1 – 1 of 1) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/ |
| H A D | fraClaus.c | 38 int nClausesMax; // the max number of 4-clauses to consider member
353 assert( Vec_IntSize(p->vClauses) > p->nClausesMax ); in Fra_ClausSelectClauses()
372 if ( nClauCount >= p->nClausesMax ) in Fra_ClausSelectClauses()
379 if ( Cost >= c && nClauCount < p->nClausesMax ) in Fra_ClausSelectClauses()
579 if ( nCountConst + nCountImps > p->nClausesMax / 2 ) in Fra_ClausCollectLatchClauses()
706 if ( Vec_IntSize(p->vClauses) > p->nClausesMax ) in Fra_ClausProcessClauses()
878 if ( p->nClauses > p->nClausesMax ) in Fra_ClausProcessClauses2()
1365 Clu_Man_t * Fra_ClausAlloc( Aig_Man_t * pAig, int nFrames, int nPref, int nClausesMax, int nLutSize… in Fra_ClausAlloc() argument
1373 p->nClausesMax = nClausesMax; in Fra_ClausAlloc()
1690 …p = Fra_ClausAlloc( pAig, nFrames, nPref, nClausesMax, nLutSize, nLevels, nCutsMax, nBatches, fSte… in Fra_Claus()
[all …]
|