| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/ |
| H A D | ifMap.c | 300 int truthId = Abc_Lit2Var(pCut->iCutFunc); in If_ObjPerformMappingAnd() local
373 int iDecMask = -1, truthId = Abc_Lit2Var(pCut->iCutFunc); in If_ObjPerformMappingAnd() local
395 int iCofVar = -1, truthId = Abc_Lit2Var(pCut->iCutFunc); in If_ObjPerformMappingAnd() local
|
| H A D | ifTruth.c | 71 int i, truthId; in If_CutRotatePins() local
100 int fCompl, truthId, nLeavesNew, PrevSize, RetValue = 0; in If_CutComputeTruth() local
168 int v, Place, fCompl, truthId, nLeavesNew, RetValue = 0; in If_CutComputeTruthPerm_int() local
|
| H A D | ifDsd.c | 907 … inline unsigned If_DsdObjHashKey( If_DsdMan_t * p, int Type, int * pLits, int nLits, int truthId ) in If_DsdObjHashKey()
920 unsigned * If_DsdObjHashLookup( If_DsdMan_t * p, int Type, int * pLits, int nLits, int truthId ) in If_DsdObjHashLookup()
958 int If_DsdObjCreate( If_DsdMan_t * p, int Type, int * pLits, int nLits, int truthId ) in If_DsdObjCreate()
996 int objId, truthId = (Type == IF_DSD_PRIME) ? Vec_MemHashInsert(p->vTtMem[nLits], pTruth) : -1; in If_DsdObjFindOrAdd() local
1887 int truthId = If_DsdObjTruthId(p, pObj); in If_DsdManCheckPrime() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaMf.c | 546 int nOldSupp = pCutR->nLeaves, truthId, fCompl; word t; in Mf_CutComputeTruth6() local
573 int nOldSupp = pCutR->nLeaves, truthId; in Mf_CutComputeTruth() local
599 int nOldSupp = pCutR->nLeaves, truthId, fCompl; word t; in Mf_CutComputeTruthMux6() local
626 int nOldSupp = pCutR->nLeaves, truthId; in Mf_CutComputeTruthMux() local
|
| H A D | giaCut.c | 343 int nOldSupp = pCutR->nLeaves, truthId, fCompl; word t; in Gia_CutComputeTruth6() local
366 int nOldSupp = pCutR->nLeaves, truthId; in Gia_CutComputeTruth() local
|
| H A D | giaTruth.c | 560 int i, iObj, uCanonPhase, nVars, lastId, truthId; in Gia_ManIsoNpnReduce() local
|
| H A D | giaIf.c | 1656 int truthId = Abc_Lit2Var(pCutBest->iCutFunc); in Gia_ManFromIfLogicCofVars() local
1730 int truthId = Abc_Lit2Var(pCutBest->iCutFunc); in Gia_ManFromIfLogicAndVars() local
1872 int truthId = Abc_Lit2Var(pCutBest->iCutFunc); in Gia_ManFromIfLogic() local
|
| H A D | giaLf.c | 967 int nOldSupp = pCutR->nLeaves, truthId, fCompl; word t; in Lf_CutComputeTruth6() local
991 int nOldSupp = pCutR->nLeaves, truthId; in Lf_CutComputeTruth() local
1015 int nOldSupp = pCutR->nLeaves, truthId, fCompl; word t; in Lf_CutComputeTruthMux6() local
1040 int nOldSupp = pCutR->nLeaves, truthId; in Lf_CutComputeTruthMux() local
|
| H A D | giaPf.c | 369 int nOldSupp = pCutR->nLeaves, truthId, fCompl; word t; in Pf_CutComputeTruth6() local
388 int nOldSupp = pCutR->nLeaves, truthId, fCompl; word t; in Pf_CutComputeTruthMux6() local
|
| H A D | giaOf.c | 278 int nOldSupp = pCutR->nLeaves, truthId, fCompl; word t; in Of_CutComputeTruth6() local
296 int nOldSupp = pCutR->nLeaves, truthId, fCompl; word t; in Of_CutComputeTruthMux6() local
|
| H A D | giaNf.c | 447 int nOldSupp = pCutR->nLeaves, truthId, fCompl; word t; in Nf_CutComputeTruth6() local
466 int nOldSupp = pCutR->nLeaves, truthId, fCompl; word t; in Nf_CutComputeTruthMux6() local
|
| H A D | giaJf.c | 1073 int fCompl, truthId; in Jf_TtComputeForCut() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sbd/ |
| H A D | sbdCut.c | 384 int nOldSupp = pCutR->nLeaves, truthId, fCompl; word t; in Sbd_CutComputeTruth6() local
406 int nOldSupp = pCutR->nLeaves, truthId; in Sbd_CutComputeTruth() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/ |
| H A D | acec2Mult.c | 587 int nOldSupp = pCutR->nLeaves, truthId, fCompl; word t; in Sdb_CutComputeTruth6() local
610 int nOldSupp = pCutR->nLeaves, truthId; in Sdb_CutComputeTruth() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dau/ |
| H A D | dauCanon.c | 1283 int i, iSpot, truthId; in Abc_TtHieRetrieveOrInsert() local
|