Home
last modified time | relevance | path

Searched refs:nWordsForSim (Results 1 – 1 of 1) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/
H A DfraClaus.c207 int nWordsForSim = pSimMan->nWordsTotal - p->nSimWordsPref; in Fra_ClausProcessClausesCut() local
210 assert( nWordsForSim % 8 == 0 ); in Fra_ClausProcessClausesCut()
216 nSeries = nWordsForSim / 8; in Fra_ClausProcessClausesCut()
252 int nWordsForSim = pSimMan->nWordsTotal - p->nSimWordsPref; in Fra_ClausProcessClausesCut2() local
255 assert( nWordsForSim % 8 == 0 ); in Fra_ClausProcessClausesCut2()
261 for ( i = 0; i < nWordsForSim; i++ ) in Fra_ClausProcessClausesCut2()
295 int nWordsForSim = pSimMan->nWordsTotal - p->nSimWordsPref; in Fra_ClausProcessClausesCut3() local
299 assert( nWordsForSim % 8 == 0 ); in Fra_ClausProcessClausesCut3()
310 nSeries = nWordsForSim / 8; in Fra_ClausProcessClausesCut3()
326 for ( i = 0; i < nWordsForSim; i++ ) in Fra_ClausProcessClausesCut3()