| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/ |
| H A D | cecClass.c | 170 void Cec_ManSimCompareConstScore( unsigned * p, int nWords, int * pScores ) in Cec_ManSimCompareConstScore() argument
179 pScores[32*w + b]++; in Cec_ManSimCompareConstScore()
187 pScores[32*w + b]++; in Cec_ManSimCompareConstScore()
211 pScores[32*w + b]++; in Cec_ManSimCompareEqualScore()
219 pScores[32*w + b]++; in Cec_ManSimCompareEqualScore()
285 Cec_ManSimCompareEqualScore( pSim0, pSim1, p->nWords, p->pScores ); in Cec_ManSimClassRefineOne()
554 if ( ScoreBest < p->pScores[i] ) in Cec_ManSimFindBestPattern()
556 ScoreBest = p->pScores[i]; in Cec_ManSimFindBestPattern()
662 ABC_FREE( p->pScores ); in Cec_ManSimSimulateRound()
664 p->pScores = ABC_CALLOC( int, 32 * p->nWords ); in Cec_ManSimSimulateRound()
[all …]
|
| H A D | cecInt.h | 136 int * pScores; // counters of refinement for each pattern member
|
| H A D | cecMan.c | 242 ABC_FREE( p->pScores ); in Cec_ManSimStop()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/ |
| H A D | fraClaus.c | 202 int Fra_ClausProcessClausesCut( Clu_Man_t * p, Fra_Sml_t * pSimMan, Dar_Cut_t * pCut, int * pScores… in Fra_ClausProcessClausesCut() argument
215 memset( pScores, 0, sizeof(int) * 16 ); in Fra_ClausProcessClausesCut()
226 pScores[uWord & 0xF]++; in Fra_ClausProcessClausesCut()
231 if ( pScores[i] ) in Fra_ClausProcessClausesCut()
248 … Fra_ClausProcessClausesCut2( Clu_Man_t * p, Fra_Sml_t * pSimMan, Dar_Cut_t * pCut, int * pScores ) in Fra_ClausProcessClausesCut2() argument
260 memset( pScores, 0, sizeof(int) * 16 ); in Fra_ClausProcessClausesCut2()
268 pScores[iMint]++; in Fra_ClausProcessClausesCut2()
273 if ( pScores[i] ) in Fra_ClausProcessClausesCut2()
305 memset( pScores, 0, sizeof(int) * nMints ); in Fra_ClausProcessClausesCut3()
320 pScores[uWord & 0xF]++; in Fra_ClausProcessClausesCut3()
[all …]
|
| /dports/audio/midipp/midipp-2.1.1/src/ |
| H A D | midipp_scores.h | 45 MppScoreMain *pScores; variable
|
| H A D | midipp_scores.cpp | 64 pScores = parent; in MppScoreView()
72 pScores->viewMousePressEvent(e); in mousePressEvent()
78 QScrollBar *ps = pScores->viewScroll; in wheelEvent()
100 QScrollBar *ps = pScores->viewScroll; in keyPressEvent()
133 pScores->viewPaintEvent(event); in paintEvent()
|
| /dports/games/openbor3482/openbor-2c1ecd7/engine/ |
| H A D | openbor.h | 632 unsigned int pScores[MAX_PLAYERS]; // Player Scores member
|
| H A D | openbor.c | 21397 savelevel[current_set].pScores[i] = player[i].score; in savelevelinfo()
21846 player[i].score = savelevel[current_set].pScores[i]; in playgame()
|
| /dports/games/openbor3711/openbor-6ec17fa/engine/ |
| H A D | openbor.h | 634 unsigned int pScores[MAX_PLAYERS]; // Player Scores member
|
| H A D | openbor.c | 21742 save->pScores[i] = player[i].score; in savelevelinfo()
22202 player[i].score = save->pScores[i]; in playgame()
|
| /dports/games/openbor3979/openbor-2bcf25b/engine/ |
| H A D | openbor.h | 647 unsigned pScores[MAX_PLAYERS]; // Player Scores member
|
| H A D | openbor.c | 29200 save->pScores[i] = player[i].score; in savelevelinfo()
29502 player[i].score = savelevel[current_set].pScores[i]; in selectplayer()
29687 player[i].score = save->pScores[i]; in playgame()
|
| H A D | openborscript.c | 14788 (*pretvar)->lVal = (LONG)slot->pScores[ltemp]; in openbor_getsaveinfo()
|
| /dports/games/openbor4432/openbor-ba1eb4f/engine/ |
| H A D | openbor.h | 1278 unsigned pScores[MAX_PLAYERS]; // Player Scores member
|
| H A D | openbor.c | 33159 save->pScores[i] = player[i].score; in savelevelinfo()
33562 player[i].score = savelevel[current_set].pScores[i]; in selectplayer()
33735 player[i].score = save->pScores[i]; in playgame()
|
| H A D | openborscript.c | 18569 (*pretvar)->lVal = (LONG)slot->pScores[ltemp]; in openbor_getsaveinfo()
|
| /dports/games/openbor/openbor-3caaddd5/engine/ |
| H A D | openbor.h | 1720 unsigned pScores[MAX_PLAYERS]; // Player Scores member
|
| H A D | openbor.c | 36333 save->pScores[i] = player[i].score; in savelevelinfo()
36813 player[i].score = savelevel[current_set].pScores[i]; in selectplayer()
36884 player[i].score = savelevel[current_set].pScores[i]; in selectplayer()
37207 player[i].score = save->pScores[i]; in playgame()
|
| H A D | openborscript.c | 15322 (*pretvar)->lVal = (LONG)slot->pScores[ltemp]; in openbor_getsaveinfo()
|