| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/ |
| H A D | aigPack.c | 294 word * pInfo, * pPres; in Aig_ManPackAddPatternTry() local
299 pPres = Vec_WrdEntryP( p->vPiCare, Abc_Lit2Var(Lit) ); in Aig_ManPackAddPatternTry()
300 if ( Abc_InfoHasBit( (unsigned *)pPres, iBit ) && in Aig_ManPackAddPatternTry()
307 pPres = Vec_WrdEntryP( p->vPiCare, Abc_Lit2Var(Lit) ); in Aig_ManPackAddPatternTry()
308 Abc_InfoSetBit( (unsigned *)pPres, iBit ); in Aig_ManPackAddPatternTry()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/lpk/ |
| H A D | lpkMulti.c | 89 int Score[16] = {0}, pPres[16]; in Lpk_CreateCommonOrder() local
94 pPres[i] = 1; in Lpk_CreateCommonOrder()
97 pPres[piCofVar[i]] = 0; in Lpk_CreateCommonOrder()
102 if ( pPres[i] == 0 ) in Lpk_CreateCommonOrder()
133 if ( pPres[i] == 0 ) in Lpk_CreateCommonOrder()
148 if ( pPres[i] == 0 ) in Lpk_CreateCommonOrder()
153 pPres[i] = 0; in Lpk_CreateCommonOrder()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/cnf/ |
| H A D | cnfUtil.c | 249 unsigned char * pPres = ABC_CALLOC( unsigned char, p->nClauses ); in Cnf_DataDeriveLitPolarities() local
267 …pPres[c] = (unsigned char)( (unsigned)pPres[c] | (pPols0[Abc_Lit2Var(*pLit)] << (2*(pLit-p->pClaus… in Cnf_DataDeriveLitPolarities()
269 …pPres[c] = (unsigned char)( (unsigned)pPres[c] | (pPols1[Abc_Lit2Var(*pLit)] << (2*(pLit-p->pClaus… in Cnf_DataDeriveLitPolarities()
290 return pPres; in Cnf_DataDeriveLitPolarities()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/ |
| H A D | cecPat.c | 423 unsigned * pInfo, * pPres; in Cec_ManPatCollectTry() local
428 pPres = (unsigned *)Vec_PtrEntry(vPres, Abc_Lit2Var(pLits[i])); in Cec_ManPatCollectTry()
429 if ( Abc_InfoHasBit( pPres, iBit ) && in Cec_ManPatCollectTry()
436 pPres = (unsigned *)Vec_PtrEntry(vPres, Abc_Lit2Var(pLits[i])); in Cec_ManPatCollectTry()
437 Abc_InfoSetBit( pPres, iBit ); in Cec_ManPatCollectTry()
|
| H A D | cecCorr.c | 426 unsigned * pInfo, * pPres; in Cec_ManLoadCounterExamplesTry() local
431 pPres = (unsigned *)Vec_PtrEntry(vPres, Abc_Lit2Var(pLits[i])); in Cec_ManLoadCounterExamplesTry()
432 if ( Abc_InfoHasBit( pPres, iBit ) && in Cec_ManLoadCounterExamplesTry()
439 pPres = (unsigned *)Vec_PtrEntry(vPres, Abc_Lit2Var(pLits[i])); in Cec_ManLoadCounterExamplesTry()
440 Abc_InfoSetBit( pPres, iBit ); in Cec_ManLoadCounterExamplesTry()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dau/ |
| H A D | dauMerge.c | 178 static inline void Dau_DsdMergeVarPres( char * pDsd, int * pMatches, int * pPres, int Mask ) in Dau_DsdMergeVarPres() argument
194 pPres[pDsd[i]-'a'] |= Mask; in Dau_DsdMergeVarPres()
197 static inline int Dau_DsdMergeCountShared( int * pPres, int Mask ) in Dau_DsdMergeCountShared() argument
201 Counter += (pPres[i] == Mask); in Dau_DsdMergeCountShared()
|
| H A D | dauNpn.c | 59 word * pPres = ABC_CALLOC( word, 1 << ((1<<nVars)-7) ); in Dau_TruthEnum() local
65 if ( pPres == NULL ) in Dau_TruthEnum()
80 if ( Abc_TtGetBit(pPres, (int)tCur) ) in Dau_TruthEnum()
93 Abc_TtSetBit( pPres, (int)tCur ); in Dau_TruthEnum()
98 Abc_TtSetBit( pPres, (int)(tMask & ~tCur) ); in Dau_TruthEnum()
110 ABC_FREE( pPres ); in Dau_TruthEnum()
|
| H A D | dauNpn2.c | 40 word * pPres; // function marks member
418 p->pPres = ABC_CALLOC( word, 1 << (p->nComps - 7) ); in Dtt_ManAlloc()
458 ABC_FREE( p->pPres ); in Dtt_ManFree()
533 if ( !Abc_TtGetBit( p->pPres, tFun & p->FunMask ) ) return 0; in Dtt_ManGetFun()
550 Abc_TtSetBit( p->pPres, tFun & p->FunMask ); in Dtt_ManSetFun()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaGiarf.c | 644 unsigned * pInfo, * pPres; in Gia_GiarfStorePatternTry() local
649 pPres = (unsigned *)Vec_PtrEntry(vPres, Abc_Lit2Var(pLits[i])); in Gia_GiarfStorePatternTry()
650 if ( Abc_InfoHasBit( pPres, iBit ) && in Gia_GiarfStorePatternTry()
657 pPres = (unsigned *)Vec_PtrEntry(vPres, Abc_Lit2Var(pLits[i])); in Gia_GiarfStorePatternTry()
658 Abc_InfoSetBit( pPres, iBit ); in Gia_GiarfStorePatternTry()
|
| H A D | giaCTas.c | 1644 unsigned * pInfo, * pPres; in Tas_StorePatternTry() local
1649 pPres = (unsigned *)Vec_PtrEntry(vPres, Abc_Lit2Var(pLits[i])); in Tas_StorePatternTry()
1650 if ( Abc_InfoHasBit( pPres, iBit ) && in Tas_StorePatternTry()
1657 pPres = (unsigned *)Vec_PtrEntry(vPres, Abc_Lit2Var(pLits[i])); in Tas_StorePatternTry()
1658 Abc_InfoSetBit( pPres, iBit ); in Tas_StorePatternTry()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/vec/ |
| H A D | vecInt.h | 1446 unsigned char * pPres = ABC_CALLOC( unsigned char, Max+1 ); in Vec_IntCountUnique() local
1448 if ( pPres[p->pArray[i]] == 0 ) in Vec_IntCountUnique()
1449 pPres[p->pArray[i]] = 1, Count++; in Vec_IntCountUnique()
1450 ABC_FREE( pPres ); in Vec_IntCountUnique()
|