/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssc/ |
H A D | sscSat.c | 71 pLits[0] = Abc_LitNotCond(LitI, 1); in Gia_ManAddClausesMux() 72 pLits[1] = Abc_LitNotCond(LitT, 1); in Gia_ManAddClausesMux() 73 pLits[2] = Abc_LitNotCond(LitF, 0); in Gia_ManAddClausesMux() 76 pLits[0] = Abc_LitNotCond(LitI, 1); in Gia_ManAddClausesMux() 77 pLits[1] = Abc_LitNotCond(LitT, 0); in Gia_ManAddClausesMux() 78 pLits[2] = Abc_LitNotCond(LitF, 1); in Gia_ManAddClausesMux() 81 pLits[0] = Abc_LitNotCond(LitI, 0); in Gia_ManAddClausesMux() 82 pLits[1] = Abc_LitNotCond(LitE, 1); in Gia_ManAddClausesMux() 83 pLits[2] = Abc_LitNotCond(LitF, 0); in Gia_ManAddClausesMux() 86 pLits[0] = Abc_LitNotCond(LitI, 0); in Gia_ManAddClausesMux() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dau/ |
H A D | dauGia.c | 94 return Abc_LitNotCond( pLits[**p - 'a'], fCompl ); in Dau_DsdToGia2_rec() 106 return Abc_LitNotCond( Res, fCompl ); in Dau_DsdToGia2_rec() 122 return Abc_LitNotCond( Res, fCompl ); in Dau_DsdToGia2_rec() 169 return Abc_LitNotCond( Res, fCompl ); in Dau_DsdToGia2_rec() 190 return Abc_LitNotCond( Res, fCompl ); in Dau_DsdToGia2_rec() 249 iFan = Abc_LitNotCond( iFan, fCompl ); in Dau_DsdBalance() 288 return Abc_LitNotCond( pLits[**p - 'a'], fCompl ); in Dau_DsdToGia_rec() 301 return Abc_LitNotCond( Fan, fCompl ); in Dau_DsdToGia_rec() 315 return Abc_LitNotCond( Fan, fCompl ); in Dau_DsdToGia_rec() 387 return Abc_LitNotCond( Res, fCompl ); in Dau_DsdToGia_rec() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/kit/ |
H A D | kitHop.c | 53 return Abc_LitNotCond( 1, Kit_GraphIsComplement(pGraph) ); in Kit_GraphToGiaInternal() 56 return Abc_LitNotCond( Kit_GraphVar(pGraph)->iFunc, Kit_GraphIsComplement(pGraph) ); in Kit_GraphToGiaInternal() 60 … pAnd0 = Abc_LitNotCond( Kit_GraphNode(pGraph, pNode->eEdge0.Node)->iFunc, pNode->eEdge0.fCompl ); in Kit_GraphToGiaInternal() 61 … pAnd1 = Abc_LitNotCond( Kit_GraphNode(pGraph, pNode->eEdge1.Node)->iFunc, pNode->eEdge1.fCompl ); in Kit_GraphToGiaInternal() 68 return Abc_LitNotCond( pNode->iFunc, Kit_GraphIsComplement(pGraph) ); in Kit_GraphToGiaInternal()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaExist.c | 224 iLit0 = Abc_LitNotCond( iLit0, Gia_ObjFaninC0(pObj) ); in Gia_ManQuantDupConeSupp_rec() 225 iLit1 = Abc_LitNotCond( iLit1, Gia_ObjFaninC1(pObj) ); in Gia_ManQuantDupConeSupp_rec() 244 iLit0 = Abc_LitNotCond( iLit0, Abc_LitIsCompl(iLit) ); in Gia_ManQuantDupConeSupp() 287 …pRes[0] = Gia_ManHashAnd( p, Abc_LitNotCond(Lits0[0], fCompl[0]), Abc_LitNotCond(Lits1[0], fCompl[… in Gia_ManQuantExist_rec() 288 …pRes[1] = Gia_ManHashAnd( p, Abc_LitNotCond(Lits0[1], fCompl[0]), Abc_LitNotCond(Lits1[1], fCompl[… in Gia_ManQuantExist_rec() 330 Lit = Abc_LitNotCond( pLits[n], Abc_LitIsCompl(Entry) ); in Gia_ManQuantExist2() 436 iLit0 = Abc_LitNotCond( iLit0, Gia_ObjFaninC0(pObj) ); in Gia_ManQuantExist2Dup() 437 iLit1 = Abc_LitNotCond( iLit1, Gia_ObjFaninC1(pObj) ); in Gia_ManQuantExist2Dup() 442 iLit0 = Abc_LitNotCond( iLit0, Abc_LitIsCompl(iLit) ); in Gia_ManQuantExist2Dup() 485 pLits[0] = Abc_LitNotCond( pLits[0], Abc_LitIsCompl(iOutLit) ); in Gia_ManQuantExistInt() [all …]
|
H A D | gia.c | 159 …bj->Value = Slv_ManAppendObj( pNew, Abc_LitNotCond(Gia_ObjFanin0(pObj)->Value, Gia_ObjFaninC0(pObj… in Slv_ManFromGia() 161 …pObj->Value = Slv_ManAppendObj( pNew, Abc_LitNotCond(Gia_ObjFanin0(pObj)->Value, Gia_ObjFaninC0(pO… in Slv_ManFromGia() 180 …int iLit0 = Abc_LitNotCond( Slv_ObjCopyLit(p, Slv_ObjFanin(p, iObj, 0)), Slv_ObjFaninC(p, iObj, 0)… in Slv_ManToGia() 185 …int iLit0 = Abc_LitNotCond( Slv_ObjCopyLit(p, Slv_ObjFanin(p, iObj, 0)), Slv_ObjFaninC(p, iObj, 0)… in Slv_ManToGia() 186 …int iLit1 = Abc_LitNotCond( Slv_ObjCopyLit(p, Slv_ObjFanin(p, iObj, 1)), Slv_ObjFaninC(p, iObj, 1)… in Slv_ManToGia()
|
H A D | giaSweeper.c | 565 pLits[0] = Abc_LitNotCond(LitI, 1); in Gia_ManAddClausesMux() 566 pLits[1] = Abc_LitNotCond(LitT, 1); in Gia_ManAddClausesMux() 567 pLits[2] = Abc_LitNotCond(LitF, 0); in Gia_ManAddClausesMux() 570 pLits[0] = Abc_LitNotCond(LitI, 1); in Gia_ManAddClausesMux() 571 pLits[1] = Abc_LitNotCond(LitT, 0); in Gia_ManAddClausesMux() 572 pLits[2] = Abc_LitNotCond(LitF, 1); in Gia_ManAddClausesMux() 575 pLits[0] = Abc_LitNotCond(LitI, 0); in Gia_ManAddClausesMux() 576 pLits[1] = Abc_LitNotCond(LitE, 1); in Gia_ManAddClausesMux() 577 pLits[2] = Abc_LitNotCond(LitF, 0); in Gia_ManAddClausesMux() 580 pLits[0] = Abc_LitNotCond(LitI, 0); in Gia_ManAddClausesMux() [all …]
|
H A D | giaFx.c | 56 return Abc_LitNotCond( 1, Dec_GraphIsComplement(pGraph) ); in Gia_ManGraphToAig() 59 return Abc_LitNotCond( Dec_GraphVar(pGraph)->iFunc, Dec_GraphIsComplement(pGraph) ); in Gia_ManGraphToAig() 63 … iAnd0 = Abc_LitNotCond( Dec_GraphNode(pGraph, pNode->eEdge0.Node)->iFunc, pNode->eEdge0.fCompl ); in Gia_ManGraphToAig() 64 … iAnd1 = Abc_LitNotCond( Dec_GraphNode(pGraph, pNode->eEdge1.Node)->iFunc, pNode->eEdge1.fCompl ); in Gia_ManGraphToAig() 68 return Abc_LitNotCond( pNode->iFunc, Dec_GraphIsComplement(pGraph) ); in Gia_ManGraphToAig() 116 return Abc_LitNotCond( 1, Kit_PlaIsConst0(pSop) ); in Gia_ManFactorNode() 416 … Lit = Abc_LitNotCond( Lit, (iItem < Vec_StrSize(vCompls)) && (Vec_StrEntry(vCompls, iItem) > 0) ); in Gia_ManFxInsert() 426 Gia_ManAppendCo( pNew, Abc_LitNotCond( Lit, Gia_ObjFaninC0(pObj) ) ); in Gia_ManFxInsert()
|
H A D | giaCCof.c | 137 { return Abc_LitNotCond( Vec_IntEntry(vCopies, Fan0), fCompl0 ); } in Gia_Obj0Copy() 140 { return Abc_LitNotCond( Vec_IntEntry(vCopies, Fan1), fCompl1 ); } in Gia_Obj1Copy() 198 LitOut = Abc_LitNotCond( LitOut, Abc_LitIsCompl(LitProp) ); in Gia_ManCofOneDerive()
|
H A D | giaIf.c | 851 return Abc_LitNotCond( Vec_IntEntry(vLeaves, 0), Vec_IntEntry(vAig, 1) ); in Gia_ManBuildFromMiniInt() 874 iLit = Abc_LitNotCond( iLit, Vec_IntEntry(vAig, i) ); in Gia_ManBuildFromMiniInt() 906 iLit0 = Abc_LitNotCond( iLit0, pIfObj->fCompl0 ); in Gia_ManFromIfAig_rec() 907 iLit1 = Abc_LitNotCond( iLit1, pIfObj->fCompl1 ); in Gia_ManFromIfAig_rec() 1391 …iFunc = Gia_ManHashAnd( pNew, Abc_LitNotCond(iFunc0, pTemp->fCompl0), Abc_LitNotCond(iFunc1, pTemp… in Gia_ManNodeIfToGia_rec() 1393 …iFunc = Gia_ManAppendAnd( pNew, Abc_LitNotCond(iFunc0, pTemp->fCompl0), Abc_LitNotCond(iFunc1, pTe… in Gia_ManNodeIfToGia_rec() 1560 Lit = Abc_LitNotCond( Lit, Abc_LitIsCompl(pIfObj->iCopy) ); in Gia_ManFromIfGetConfig() 1723 RetValue = Abc_LitNotCond( RetValue, pCutBest->fCompl ); in Gia_ManFromIfLogicCofVars() 1757 iLitCofs[0] = Abc_LitNotCond( iLitCofs[0], fOrDec ); in Gia_ManFromIfLogicAndVars() 1758 iLitCofs[1] = Abc_LitNotCond( iLitCofs[1], fOrDec ); in Gia_ManFromIfLogicAndVars() [all …]
|
H A D | giaHcd.c | 461 … pObj->Value = Abc_LitNotCond( pRepr->Value, Gia_ObjPhaseReal(pRepr) ^ Gia_ObjPhaseReal(pObj) ); in Hcd_ManEquivToChoices_rec() 471 …assert( (int)pObj->Value == Abc_LitNotCond( pRepr->Value, Gia_ObjPhaseReal(pRepr) ^ Gia_ObjPhaseRe… in Hcd_ManEquivToChoices_rec() 482 … pObj->Value = Abc_LitNotCond( pRepr->Value, Gia_ObjPhaseReal(pRepr) ^ Gia_ObjPhaseReal(pObj) ); in Hcd_ManEquivToChoices_rec() 491 … pObj->Value = Abc_LitNotCond( pRepr->Value, Gia_ObjPhaseReal(pRepr) ^ Gia_ObjPhaseReal(pObj) ); in Hcd_ManEquivToChoices_rec()
|
H A D | giaMini.c | 53 return Abc_LitNotCond( Vec_IntEntry(vCopies, Abc_Lit2Var(Lit)), Abc_LitIsCompl(Lit) ); in Gia_ObjFromMiniFanin0Copy() 58 return Abc_LitNotCond( Vec_IntEntry(vCopies, Abc_Lit2Var(Lit)), Abc_LitIsCompl(Lit) ); in Gia_ObjFromMiniFanin1Copy() 508 pRes[i] = Abc_LitNotCond( iLit, fCompl ); in Gia_ManMapMiniLut2MiniAig() 704 …iGiaLit = Abc_LitNotCond( Vec_IntEntry(vCopies, Abc_Lit2Var(pEquivs[i])), Abc_LitIsCompl(pEquivs[i… in Gia_MiniAigReduce() 753 …iGiaLit2 = Abc_LitNotCond( Vec_IntEntry(vCopies, Abc_Lit2Var(pEquivs[i])), Abc_LitIsCompl(pEquivs[… in Gia_MiniAigMiter()
|
H A D | giaJf.c | 134 Vec_IntPush( vLits, Abc_LitNotCond(iLitOut, (uTruth == 0)) ); in Jf_ManGenCnf() 147 Vec_IntPush( vLits, Abc_LitNotCond(iLitOut, c) ); in Jf_ManGenCnf() 152 Vec_IntPush( vLits, Abc_LitNotCond(Vec_IntEntry(vLeaves, k), 0) ); in Jf_ManGenCnf() 154 Vec_IntPush( vLits, Abc_LitNotCond(Vec_IntEntry(vLeaves, k), 1) ); in Jf_ManGenCnf() 1476 iLit = Abc_LitNotCond( Jf_CutLit(pCut, 1) , Jf_CutFuncCompl(pCut) ); in Jf_ManDeriveMappingGia() 1494 iLit = Abc_LitNotCond( iLit, Jf_CutFuncCompl(pCut) ); in Jf_ManDeriveMappingGia() 1509 Vec_IntPush( vLeaves, Abc_LitNotCond(iLit, Gia_ObjFaninC0(pObj)) ); in Jf_ManDeriveMappingGia() 1510 iLit = Gia_ManAppendCo( pNew, Abc_LitNotCond(iLit, Gia_ObjFaninC0(pObj)) ); in Jf_ManDeriveMappingGia() 1622 iLit = Abc_LitNotCond( Jf_CutLit(pCut, 1) , Jf_CutFuncCompl(pCut) ); in Jf_ManDeriveGia() 1646 iLit = Abc_LitNotCond( iLit, (p->pPars->fCutMin && Jf_CutFuncCompl(pCut)) ); in Jf_ManDeriveGia() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mpm/ |
H A D | mpmAbc.c | 81 static inline int Mig_ObjFanin0Copy( Gia_Obj_t * pObj ) { return Abc_LitNotCond( Gia_ObjFanin0(pObj… in Mig_ObjFanin0Copy() 82 static inline int Mig_ObjFanin1Copy( Gia_Obj_t * pObj ) { return Abc_LitNotCond( Gia_ObjFanin1(pObj… in Mig_ObjFanin1Copy() 157 iFunc2 = Abc_LitNotCond(iFunc2, Mig_ObjFaninC2(pTemp)); in Mpm_ManNodeIfToGia_rec() 159 iFunc0 = Abc_LitNotCond(iFunc0, Mig_ObjFaninC0(pTemp)); in Mpm_ManNodeIfToGia_rec() 160 iFunc1 = Abc_LitNotCond(iFunc1, Mig_ObjFaninC1(pTemp)); in Mpm_ManNodeIfToGia_rec() 260 … iLitNew = Abc_LitNotCond( iLitNew, pCutBest->fCompl ^ Abc_LitIsCompl(pCutBest->iFunc) ); in Mpm_ManFromIfLogic() 279 …iLitNew = Gia_ManAppendCo( pNew, Abc_LitNotCond(Mig_ObjCopy(Mig_ObjFanin0(pObj)), Mig_ObjFaninC0(p… in Mpm_ManFromIfLogic()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/ |
H A D | cecChoice.c | 79 pObj->Value = Abc_LitNotCond( pRepr->Value, Gia_ObjPhase(pRepr) ^ Gia_ObjPhase(pObj) ); in Cec_ManCombSpecReduce_rec() 121 iObjNew = Abc_LitNotCond( iObjNew, Gia_ObjPhase(pObj) ); in Cec_ManCombSpecReduce() 136 … iPrevNew = Abc_LitNotCond( iPrevNew, Gia_ObjPhase(pObj) ^ Gia_ObjPhase(Gia_ManObj(p, iPrev)) ); in Cec_ManCombSpecReduce() 137 … iObjNew = Abc_LitNotCond( iObjNew, Gia_ObjPhase(pObj) ^ Gia_ObjPhase(Gia_ManObj(p, iObj)) ); in Cec_ManCombSpecReduce() 149 … iPrevNew = Abc_LitNotCond( iPrevNew, Gia_ObjPhase(pObj) ^ Gia_ObjPhase(Gia_ManObj(p, iPrev)) ); in Cec_ManCombSpecReduce() 150 … iObjNew = Abc_LitNotCond( iObjNew, Gia_ObjPhase(pObj) ^ Gia_ObjPhase(Gia_ManObj(p, iObj)) ); in Cec_ManCombSpecReduce() 169 iObjNew = Abc_LitNotCond( iObjNew, Gia_ObjPhase(pRepr) ^ Gia_ObjPhase(pObj) ); in Cec_ManCombSpecReduce()
|
H A D | cecCorr.c | 86 … iLitNew = Abc_LitNotCond( Gia_ObjCopyF(p, f, pRepr), Gia_ObjPhase(pRepr) ^ Gia_ObjPhase(pObj) ); in Gia_ManCorrSpecReduce_rec() 142 iObjNew = Abc_LitNotCond( iObjNew, Gia_ObjPhase(pObj) ); in Gia_ManCorrSpecReduce() 157 … iPrevNew = Abc_LitNotCond( iPrevNew, Gia_ObjPhase(pObj) ^ Gia_ObjPhase(Gia_ManObj(p, iPrev)) ); in Gia_ManCorrSpecReduce() 158 … iObjNew = Abc_LitNotCond( iObjNew, Gia_ObjPhase(pObj) ^ Gia_ObjPhase(Gia_ManObj(p, iObj)) ); in Gia_ManCorrSpecReduce() 170 … iPrevNew = Abc_LitNotCond( iPrevNew, Gia_ObjPhase(pObj) ^ Gia_ObjPhase(Gia_ManObj(p, iPrev)) ); in Gia_ManCorrSpecReduce() 171 … iObjNew = Abc_LitNotCond( iObjNew, Gia_ObjPhase(pObj) ^ Gia_ObjPhase(Gia_ManObj(p, iObj)) ); in Gia_ManCorrSpecReduce() 190 iObjNew = Abc_LitNotCond( iObjNew, Gia_ObjPhase(pRepr) ^ Gia_ObjPhase(pObj) ); in Gia_ManCorrSpecReduce() 260 iObjNew = Abc_LitNotCond( iObjNew, Gia_ObjPhase(pRepr) ^ Gia_ObjPhase(pObj) ); in Gia_ManCorrSpecReduceInit() 668 … pObj->Value = Abc_LitNotCond( pRepr->Value, Gia_ObjPhaseReal(pRepr) ^ Gia_ObjPhaseReal(pObj) ); in Gia_ManCorrReduce_rec()
|
H A D | cecSweep.c | 74 iRes0 = Abc_LitNotCond( piCopies[Gia_ObjFaninId0(pObj,i)], Gia_ObjFaninC0(pObj) ); in Cec_ManFraSpecReduction() 75 iRes1 = Abc_LitNotCond( piCopies[Gia_ObjFaninId1(pObj,i)], Gia_ObjFaninC1(pObj) ); in Cec_ManFraSpecReduction() 107 piCopies[i] = Abc_LitNotCond( iRepr, fCompl ); in Cec_ManFraSpecReduction()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abcMini.c | 51 int AbcLit = Abc_LitNotCond( Vec_IntEntry(vCopies, Abc_Lit2Var(Lit)), Abc_LitIsCompl(Lit) ); in Abc_NodeFanin0Copy() 57 int AbcLit = Abc_LitNotCond( Vec_IntEntry(vCopies, Abc_Lit2Var(Lit)), Abc_LitIsCompl(Lit) ); in Abc_NodeFanin1Copy() 117 return Abc_LitNotCond( Abc_ObjFanin0(pObj)->iTemp, Abc_ObjFaninC0(pObj) ); in Abc_NodeFanin0Copy2() 121 return Abc_LitNotCond( Abc_ObjFanin1(pObj)->iTemp, Abc_ObjFaninC1(pObj) ); in Abc_NodeFanin1Copy2()
|
H A D | abcRec3.c | 625 iFanin0 = Abc_LitNotCond( Gia_ObjFanin0(pTemp)->Value, Gia_ObjFaninC0(pTemp) ); in Abc_NtkRecLibMerge3() 626 iFanin1 = Abc_LitNotCond( Gia_ObjFanin1(pTemp)->Value, Gia_ObjFaninC1(pTemp) ); in Abc_NtkRecLibMerge3() 641 Gia_ManAppendCo( pGia, Abc_LitNotCond( pTemp->Value, (uCanonPhase >> nLeaves) & 1 ) ); in Abc_NtkRecLibMerge3() 773 iFanin0 = Abc_LitNotCond( If_ObjFanin0(pIfObj)->iCopy, If_ObjFaninC0(pIfObj) ); in Abc_NtkRecAddCut3() 774 iFanin1 = Abc_LitNotCond( If_ObjFanin1(pIfObj)->iCopy, If_ObjFaninC1(pIfObj) ); in Abc_NtkRecAddCut3() 790 Gia_ManAppendCo( pGia, Abc_LitNotCond( pIfObj->iCopy, (uCanonPhase >> nLeaves) & 1 ) ); in Abc_NtkRecAddCut3() 1120 return Abc_LitNotCond( 0, If_CutTruthIsCompl(pCut) ); in Abc_RecToGia3() 1124 …return Abc_LitNotCond( Vec_IntEntry(vLeaves, Abc_TtSuppFindFirst(uSupport)), If_CutTruthIsCompl(pC… in Abc_RecToGia3() 1143 …Vec_IntPush( p->vLabels, Abc_LitNotCond(Vec_IntEntry(vLeaves, pCanonPerm[i]), (uCanonPhase >> i) &… in Abc_RecToGia3() 1153 iFan0 = Abc_LitNotCond(iFan0, Gia_ObjFaninC0(pGiaTemp)); in Abc_RecToGia3() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/ |
H A D | bmcBmcG.c | 145 iLit = Abc_LitNotCond( iLit, Gia_ObjFaninC0(pObj) ); in Bmcg_ManUnfold_rec() 151 iLit = Abc_LitNotCond( iLit, Gia_ObjFaninC0(pObj) ); in Bmcg_ManUnfold_rec() 156 iNew = Abc_LitNotCond( iNew, Gia_ObjFaninC1(pObj) ); in Bmcg_ManUnfold_rec() 177 iLit0 = Abc_LitNotCond( iLit0, Gia_ObjFaninC0(pObj) ); in Bmcg_ManCollect_rec() 178 iLit1 = Abc_LitNotCond( iLit1, Gia_ObjFaninC1(pObj) ); in Bmcg_ManCollect_rec() 204 iLitFrame = Abc_LitNotCond( iLitFrame, Gia_ObjFaninC0(pObj) ); in Bmcg_ManUnfold() 223 iLitClean = Abc_LitNotCond( iLitClean, Gia_ObjFaninC0(pObj) ); in Bmcg_ManUnfold()
|
H A D | bmcBmci.c | 134 iLitPart0 = Abc_LitNotCond( iLitPart0, Gia_ObjFaninC0(pObj) ); in Bmc_BmciPart_rec() 135 iLitPart1 = Abc_LitNotCond( iLitPart1, Gia_ObjFaninC1(pObj) ); in Bmc_BmciPart_rec() 157 Gia_ManAppendCo( pPart, Abc_LitNotCond(iLitPart, Abc_LitIsCompl(iLit)) ); in Bmc_BmciPart()
|
H A D | bmcBmcS.c | 449 iLit = Abc_LitNotCond( iLit, Gia_ObjFaninC0(pObj) ); in Bmcs_ManUnfold_rec() 455 iLit = Abc_LitNotCond( iLit, Gia_ObjFaninC0(pObj) ); in Bmcs_ManUnfold_rec() 460 iNew = Abc_LitNotCond( iNew, Gia_ObjFaninC1(pObj) ); in Bmcs_ManUnfold_rec() 481 iLit0 = Abc_LitNotCond( iLit0, Gia_ObjFaninC0(pObj) ); in Bmcs_ManCollect_rec() 482 iLit1 = Abc_LitNotCond( iLit1, Gia_ObjFaninC1(pObj) ); in Bmcs_ManCollect_rec() 508 iLitFrame = Abc_LitNotCond( iLitFrame, Gia_ObjFaninC0(pObj) ); in Bmcs_ManUnfold() 527 iLitClean = Abc_LitNotCond( iLitClean, Gia_ObjFaninC0(pObj) ); in Bmcs_ManUnfold()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/extra/ |
H A D | extraUtilMult.c | 57 static inline int Abc_BddThen( Abc_BddMan * p, int i ) { return Abc_LitNotCond(p->pOb… in Abc_BddThen() 58 static inline int Abc_BddElse( Abc_BddMan * p, int i ) { return Abc_LitNotCond(p->pOb… in Abc_BddElse() 363 int Cof0 = Abc_LitNotCond(Gia_ObjFanin0(pObj)->Value, Gia_ObjFaninC0(pObj)); in Abc_BddGiaTest() 364 int Cof1 = Abc_LitNotCond(Gia_ObjFanin1(pObj)->Value, Gia_ObjFaninC1(pObj)); in Abc_BddGiaTest() 368 pObj->Value = Abc_LitNotCond(Gia_ObjFanin0(pObj)->Value, Gia_ObjFaninC0(pObj)); in Abc_BddGiaTest()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/util/ |
H A D | utilBridge.c | 350 iFan0 = Abc_LitNotCond( Vec_IntEntry(vLits, iFan0 >> 1), iFan0 & 1 ); in Gia_ManFromBridgeReadBody() 351 iFan1 = Abc_LitNotCond( Vec_IntEntry(vLits, iFan1 >> 1), iFan1 & 1 ); in Gia_ManFromBridgeReadBody() 373 iFan0 = Abc_LitNotCond( Vec_IntEntry(vLits, iFan0 >> 1), iFan0 & 1 ); in Gia_ManFromBridgeReadBody() 399 iFan0 = Abc_LitNotCond( Vec_IntEntry(vLits, iFan0 >> 1), iFan0 & 1 ); in Gia_ManFromBridgeReadBody()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/ |
H A D | acecNorm.c | 148 iLitNew = Abc_LitNotCond( iLitNew, Abc_LitIsCompl(iLit) ); in Acec_BuildTree() 187 pObj->Value = Abc_LitNotCond( iLitNew, Abc_LitIsCompl(iLit) ); in Acec_InsertBox()
|
H A D | acecFadds.c | 759 pObj->Value = Abc_LitNotCond( Gia_ManAppendCi(pNew), (int)(iXorTruth == 0x69) ); in Gia_ManDupFadd() 762 iCiLit = Abc_LitNotCond( Gia_ManAppendCi(pNew), (int)(iMajTruth == 0x17) ); in Gia_ManDupFadd() 898 … return Abc_LitNotCond( Vec_IntEntry(vCarries, Gia_ObjFaninId0(pObj, Id)), Gia_ObjFaninC0(pObj) ); in Gia_ObjFanin0CopyCarry() 904 … return Abc_LitNotCond( Vec_IntEntry(vCarries, Gia_ObjFaninId1(pObj, Id)), Gia_ObjFaninC1(pObj) ); in Gia_ObjFanin1CopyCarry() 967 iLit0 = Abc_LitNotCond( iCiLit, Abc_LitIsCompl(iCiLit) ); in Gia_ManDupWithArtificalFaddBoxes() 968 iLit1 = Abc_LitNotCond( iOtherLit, Abc_LitIsCompl(iCiLit) ); in Gia_ManDupWithArtificalFaddBoxes() 969 iLit2 = Abc_LitNotCond( 0, Abc_LitIsCompl(iCiLit) ); in Gia_ManDupWithArtificalFaddBoxes() 978 pObj->Value = Abc_LitNotCond( Gia_ManAppendCi(pNew), Abc_LitIsCompl(iCiLit) ); in Gia_ManDupWithArtificalFaddBoxes() 985 …pObj->Value = Gia_ManAppendAnd( pNew, Abc_LitNotCond(iXorLit, !Abc_LitIsCompl(iCiLit)), iOtherLit … in Gia_ManDupWithArtificalFaddBoxes()
|