Home
last modified time | relevance | path

Searched refs:Abc_LitNotCond (Results 1 – 25 of 113) sorted by relevance

12345

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssc/
H A DsscSat.c71 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 DdauGia.c94 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 DkitHop.c53 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 DgiaExist.c224 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 Dgia.c159 …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 DgiaSweeper.c565 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 DgiaFx.c56 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 DgiaCCof.c137 { 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 DgiaIf.c851 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 DgiaHcd.c461 … 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 DgiaMini.c53 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 DgiaJf.c134 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 DmpmAbc.c81 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 DcecChoice.c79 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 DcecCorr.c86 … 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 DcecSweep.c74 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 DabcMini.c51 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 DabcRec3.c625 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 DbmcBmcG.c145 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 DbmcBmci.c134 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 DbmcBmcS.c449 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 DextraUtilMult.c57 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 DutilBridge.c350 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 DacecNorm.c148 iLitNew = Abc_LitNotCond( iLitNew, Abc_LitIsCompl(iLit) ); in Acec_BuildTree()
187 pObj->Value = Abc_LitNotCond( iLitNew, Abc_LitIsCompl(iLit) ); in Acec_InsertBox()
H A DacecFadds.c759 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()

12345