/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mpm/ |
H A D | mpmDsd.c | 890 uTruth = Abc_Tt6Flip( uTruth, i ); in Mpm_CutTruthFromDsd() 948 Truth1p = Abc_Tt6Flip( Truth1p, i ); in Mpm_CutComputeDsd6() 981 Truth1p = Abc_Tt6Flip( Truth1p, i ); in Mpm_CutComputeDsd6() 987 TruthCp = Abc_Tt6Flip( TruthCp, i ); in Mpm_CutComputeDsd6()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dau/ |
H A D | dauNpn.c | 100 tCur = Abc_Tt6Flip( tCur, pComp[k] ); in Dau_TruthEnum() 413 word tNew = Abc_Tt6Flip(t, v); in Dau_CountCompl1() 418 if ( tNew == Abc_Tt6Flip(t, k) ) in Dau_CountCompl1()
|
H A D | dauCanon.c | 753 Copy = Abc_Tt6Flip( Copy, i ); in Abc_Tt6CofactorPermNaive() 758 Copy = Abc_Tt6Flip( Copy, i+1 ); in Abc_Tt6CofactorPermNaive() 763 Copy = Abc_Tt6Flip( Copy, i ); in Abc_Tt6CofactorPermNaive() 773 Copy = Abc_Tt6Flip( Copy, i+1 ); in Abc_Tt6CofactorPermNaive() 778 Copy = Abc_Tt6Flip( Copy, i ); in Abc_Tt6CofactorPermNaive() 783 Copy = Abc_Tt6Flip( Copy, i+1 ); in Abc_Tt6CofactorPermNaive()
|
H A D | dauNpn2.c | 504 tCur = Abc_Tt6Flip( tCur, p->pComps[k] ); in Dtt_ManCollect() 919 tCur = Abc_Tt6Flip( tCur, p->pComps[k] ); in Dtt_FindNP()
|
H A D | dauDsd2.c | 199 pTruth[0] = Abc_Tt6Flip( pTruth[0], iVar ); in Dua_DsdTryVar()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/ |
H A D | acbPush.c | 235 Vec_WrdWriteEntry( &p->vObjTruth, iFanout, Abc_Tt6Flip(uTruthF, iObjIndex) ); in Acb_ObjRemoveBufInv()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sfm/ |
H A D | sfmArea.c | 71 iThis = (n == nFanins) ? ~pCells[i].uTruth : Abc_Tt6Flip(pCells[i].uTruth, n); in Abc_NtkPrecomputeCellPairs()
|
H A D | sfmLib.c | 164 word uTruthFlip = Abc_Tt6Flip( uTruthGate, iFanin ); in Sfm_LibFindComplInputGate()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/ |
H A D | acecMult.c | 183 tCur = Abc_Tt6Flip( tCur, pComp[c] ); in Extra_TruthCanonNPN3()
|
H A D | acecRe.c | 80 Truth = Abc_Tt6Flip( Truth, b ); in Ree_TruthPrecompute2()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/ |
H A D | ifTruth.c | 367 tCur = Abc_Tt6Flip( tCur, pComp[c] ); in If_DeriveHashTable6()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/extra/ |
H A D | extraUtilDsd.c | 937 Truth1p = Abc_Tt6Flip( Truth1p, i ); in Sdm_ManComputeFunc()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaMf.c | 129 if ( Best > (Temp = Abc_Tt6Flip(Best, i)) ) in Mf_ManTruthCanonicize() 170 tCur = Abc_Tt6Flip( tCur, pComp[c] ); in Mf_ManTruthCollect()
|
H A D | giaPf.c | 191 tCur = Abc_Tt6Flip( tCur, pComp[pCell->nFanins][c] ); in Pf_StoCreateGate()
|
H A D | giaNf.c | 266 tCur = Abc_Tt6Flip( tCur, pComp[pCell->nFanins][c] ); in Nf_StoCreateGateMaches()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mio/ |
H A D | mioUtils.c | 1260 tCur = Abc_Tt6Flip( tCur, pComp[c] ); in Nf_ManPrepareGate()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/util/ |
H A D | utilTruth.h | 1436 static inline word Abc_Tt6Flip( word Truth, int iVar ) in Abc_Tt6Flip() function
|