Home
last modified time | relevance | path

Searched refs:bFunc1 (Results 1 – 22 of 22) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/kit/
H A DkitBdd.c98 DdNode * bFunc, * bFunc0, * bFunc1; in Kit_GraphToBdd() local
121 … bFunc1 = Cudd_NotCond( Kit_GraphNode(pGraph, pNode->eEdge1.Node)->pFunc, pNode->eEdge1.fCompl ); in Kit_GraphToBdd()
122 pNode->pFunc = Cudd_bddAnd( dd, bFunc0, bFunc1 ); Cudd_Ref( (DdNode *)pNode->pFunc ); in Kit_GraphToBdd()
207 DdNode * bFunc1, * bFunc2; in Kit_SopFactorVerify() local
217 bFunc1 = Kit_SopToBdd( dd, cSop, nVars ); Cudd_Ref( bFunc1 ); in Kit_SopFactorVerify()
221 RetValue = (bFunc1 == bFunc2); in Kit_SopFactorVerify()
222 if ( bFunc1 != bFunc2 ) in Kit_SopFactorVerify()
225 Extra_bddPrint( dd, bFunc1 ); printf("\n"); in Kit_SopFactorVerify()
229 Cudd_RecursiveDeref( dd, bFunc1 ); in Kit_SopFactorVerify()
H A Dcloud.c819 CloudNode * bFunc0, * bFunc1, * res; in Cloud_GetOneCube() local
828 bFunc1 = Cloud_Not( cloudT(bFunc) ); in Cloud_GetOneCube()
833 bFunc1 = cloudT(bFunc); in Cloud_GetOneCube()
848 res = Cloud_GetOneCube( dd, bFunc1 ); in Cloud_GetOneCube()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/bbr/
H A DbbrNtbdd.c53 DdNode * bFunc, * bFunc0, * bFunc1; in Bbr_NodeGlobalBdds_rec() local
71 …bFunc1 = Bbr_NodeGlobalBdds_rec( dd, Aig_ObjFanin1(pNode), nBddSizeMax, fDropInternal, pProgress, … in Bbr_NodeGlobalBdds_rec()
72 if ( bFunc1 == NULL ) in Bbr_NodeGlobalBdds_rec()
74 Cudd_Ref( bFunc1 ); in Bbr_NodeGlobalBdds_rec()
76 bFunc1 = Cudd_NotCond( bFunc1, Aig_ObjFaninC1(pNode) ); in Bbr_NodeGlobalBdds_rec()
78 bFunc = Cudd_bddAnd( dd, bFunc0, bFunc1 ); Cudd_Ref( bFunc ); in Bbr_NodeGlobalBdds_rec()
80 Cudd_RecursiveDeref( dd, bFunc1 ); in Bbr_NodeGlobalBdds_rec()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/fpga/
H A DfpgaTruth.c46 DdNode * bFunc, * bFunc0, * bFunc1; in Fpga_TruthsCutBdd_rec() local
54 … bFunc1 = Fpga_TruthsCutBdd_rec( dd, Fpga_CutRegular(pCut->pTwo), vVisited ); Cudd_Ref( bFunc1 ); in Fpga_TruthsCutBdd_rec()
55 bFunc1 = Cudd_NotCond( bFunc1, Fpga_CutIsComplement(pCut->pTwo) ); in Fpga_TruthsCutBdd_rec()
57 bFunc = Cudd_bddAnd( dd, bFunc0, bFunc1 ); Cudd_Ref( bFunc ); in Fpga_TruthsCutBdd_rec()
60 Cudd_RecursiveDeref( dd, bFunc1 ); in Fpga_TruthsCutBdd_rec()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcNtbdd.c429 DdNode * bFunc, * bFunc0, * bFunc1, * bFuncC; in Abc_NodeGlobalBdds_rec() local
472 if ( bFunc1 == NULL ) in Abc_NodeGlobalBdds_rec()
474 Cudd_Ref( bFunc1 ); in Abc_NodeGlobalBdds_rec()
478 bFunc1 = Cudd_NotCond( bFunc1, (int)Abc_ObjIsComplement(pNode1) ); in Abc_NodeGlobalBdds_rec()
480 bFunc = Cudd_bddIte( dd, bFuncC, bFunc1, bFunc0 ); Cudd_Ref( bFunc ); in Abc_NodeGlobalBdds_rec()
482 Cudd_RecursiveDeref( dd, bFunc1 ); in Abc_NodeGlobalBdds_rec()
495 if ( bFunc1 == NULL ) in Abc_NodeGlobalBdds_rec()
497 Cudd_Ref( bFunc1 ); in Abc_NodeGlobalBdds_rec()
499 bFunc1 = Cudd_NotCond( bFunc1, (int)Abc_ObjFaninC1(pNode) ); in Abc_NodeGlobalBdds_rec()
501 bFunc = Cudd_bddAndLimit( dd, bFunc0, bFunc1, nBddSizeMax ); in Abc_NodeGlobalBdds_rec()
[all …]
H A DabcMulti.c262 DdNode * bFunc, * bFunc0, * bFunc1; in Abc_NtkMultiDeriveBdd_rec() local
275 bFunc1 = Abc_NtkMultiDeriveBdd_rec( dd, Abc_ObjFanin(pNode,1), vFanins ); Cudd_Ref( bFunc1 ); in Abc_NtkMultiDeriveBdd_rec()
277 bFunc1 = Cudd_NotCond( bFunc1, (long)Abc_ObjFaninC1(pNode) ); in Abc_NtkMultiDeriveBdd_rec()
279 bFunc = Cudd_bddAnd( dd, bFunc0, bFunc1 ); Cudd_Ref( bFunc ); in Abc_NtkMultiDeriveBdd_rec()
281 Cudd_RecursiveDeref( dd, bFunc1 ); in Abc_NtkMultiDeriveBdd_rec()
H A DabcReconv.c506 DdNode * bFunc0, * bFunc1, * bFunc = NULL; in Abc_NodeConeBdd() local
518 bFunc1 = Cudd_NotCond( Abc_ObjFanin1(pNode)->pCopy, (int)Abc_ObjFaninC1(pNode) ); in Abc_NodeConeBdd()
519 bFunc = Cudd_bddAnd( dd, bFunc0, bFunc1 ); Cudd_Ref( bFunc ); in Abc_NodeConeBdd()
544 DdNode * bFunc0, * bFunc1, * bFunc, * bTrans, * bTemp, * bCube, * bResult; in Abc_NodeConeDcs() local
556 bFunc1 = Cudd_NotCond( Abc_ObjFanin1(pNode)->pCopy, (int)Abc_ObjFaninC1(pNode) ); in Abc_NodeConeDcs()
557 bFunc = Cudd_bddAnd( dd, bFunc0, bFunc1 ); Cudd_Ref( bFunc ); in Abc_NodeConeDcs()
H A DabcCascade.c694 DdNode * bFunc0, * bFunc1, * bConst0, * bConst1; in Abc_NtkBddFindAddConst() local
702 bFunc1 = Cudd_Not(Cudd_T(bFunc)); in Abc_NtkBddFindAddConst()
707 bFunc1 = Cudd_T(bFunc); in Abc_NtkBddFindAddConst()
709 assert( bFunc0 == bConst0 || bFunc1 == bConst0 ); in Abc_NtkBddFindAddConst()
713 bFunc = bFunc1; in Abc_NtkBddFindAddConst()
792 DdNode * bFunc0, * bFunc1, * bFunc; in Abc_NtkAddToBdd_rec() local
806 …bFunc1 = Abc_NtkAddToBdd_rec( dd, cuddT(aFunc), nIns, nOuts, tTable ); … in Abc_NtkAddToBdd_rec()
807 … bFunc = Cudd_bddIte( dd, Cudd_bddIthVar(dd, aFunc->index), bFunc1, bFunc0 ); Cudd_Ref( bFunc ); in Abc_NtkAddToBdd_rec()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/dec/
H A DdecFactor.c376 DdNode * bFunc1, * bFunc2; in Dec_FactorVerify() local
378 bFunc1 = Abc_ConvertSopToBdd( dd, pSop, NULL ); Cudd_Ref( bFunc1 ); in Dec_FactorVerify()
382 RetValue = (bFunc1 == bFunc2); in Dec_FactorVerify()
383 if ( bFunc1 != bFunc2 ) in Dec_FactorVerify()
386 Extra_bddPrint( dd, bFunc1 ); printf("\n"); in Dec_FactorVerify()
390 Cudd_RecursiveDeref( dd, bFunc1 ); in Dec_FactorVerify()
H A DdecUtil.c52 DdNode * bFunc, * bFunc0, * bFunc1; in Dec_GraphDeriveBdd() local
75 … bFunc1 = Cudd_NotCond( Dec_GraphNode(pGraph, pNode->eEdge1.Node)->pFunc, pNode->eEdge1.fCompl ); in Dec_GraphDeriveBdd()
76 pNode->pFunc = Cudd_bddAnd( dd, bFunc0, bFunc1 ); Cudd_Ref( (DdNode *)pNode->pFunc ); in Dec_GraphDeriveBdd()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/llb/
H A Dllb4Sweep.c124 DdNode * bFunc0, * bFunc1, * bFunc; in Llb4_Nonlin4SweepCutpoints() local
145 bFunc1 = Cudd_NotCond( (DdNode *)Aig_ObjFanin1(pObj)->pData, Aig_ObjFaninC1(pObj) ); in Llb4_Nonlin4SweepCutpoints()
146 bFunc = Cudd_bddAnd( dd, bFunc0, bFunc1 ); Cudd_Ref( bFunc ); in Llb4_Nonlin4SweepCutpoints()
154 if ( Cudd_DagSize(bFunc0) >= Cudd_DagSize(bFunc1) ) in Llb4_Nonlin4SweepCutpoints()
176 bFunc1 = Cudd_NotCond( (DdNode *)Aig_ObjFanin1(pObj)->pData, Aig_ObjFaninC1(pObj) ); in Llb4_Nonlin4SweepCutpoints()
177 bFunc = Cudd_bddAnd( dd, bFunc0, bFunc1 ); Cudd_Ref( bFunc ); in Llb4_Nonlin4SweepCutpoints()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/
H A DabcMinBase.c377 DdNode * bVar, * bFunc0, * bFunc1, * bTemp, * bFanin, * bFanout; in Abc_NodeCollapseFunc() local
394 bFunc1 = Cudd_Cofactor( dd, (DdNode *)pFanout->pData, bVar ); Cudd_Ref( bFunc1 ); in Abc_NodeCollapseFunc()
398 bFunc1 = Cudd_bddPermute( dd, bTemp = bFunc1, pPermFanout ); Cudd_Ref( bFunc1 ); in Abc_NodeCollapseFunc()
402 bFanout = Cudd_bddIte( dd, bFanin, bFunc1, bFunc0 ); Cudd_Ref( bFanout ); in Abc_NodeCollapseFunc()
404 Cudd_RecursiveDeref( dd, bFunc1 ); in Abc_NodeCollapseFunc()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/extrab/
H A DextraBddCas.c958 DdNode * bFunc0, * bFunc1; in Extra_CountCofactorMinterms() local
985 bFunc1 = Cudd_Not( cuddT(bFuncR) ); in Extra_CountCofactorMinterms()
990 bFunc1 = cuddT(bFuncR); in Extra_CountCofactorMinterms()
994 bFunc0 = bFunc1 = bFunc; in Extra_CountCofactorMinterms()
1028 if ( bFunc1 != b0 ) in Extra_CountCofactorMinterms()
1029 Res = Extra_CountCofactorMinterms( dd, bFunc1, bVarsCof1, cuddT(bVarsAll) ); in Extra_CountCofactorMinterms()
1037 if ( bFunc1 != b0 ) in Extra_CountCofactorMinterms()
1038 Res += Extra_CountCofactorMinterms( dd, bFunc1, bVarsCof1, cuddT(bVarsAll) ); in Extra_CountCofactorMinterms()
H A DextraBddAuto.c160 DdNode * bSpace, * bFunc1, * bFunc2, * bSpaceShift; in Extra_bddSpaceFromFunctionFast() local
215 bFunc1 = Cudd_bddPermute( dd, bFunc, pPermute ); Cudd_Ref( bFunc1 ); in Extra_bddSpaceFromFunctionFast()
217 bFunc2 = Cudd_bddVectorCompose( dd, bFunc1, pCompose ); Cudd_Ref( bFunc2 ); in Extra_bddSpaceFromFunctionFast()
220 bSpaceShift = Cudd_bddXorExistAbstract( dd, bFunc1, bFunc2, bCube ); Cudd_Ref( bSpaceShift ); in Extra_bddSpaceFromFunctionFast()
224 Cudd_RecursiveDeref( dd, bFunc1 ); in Extra_bddSpaceFromFunctionFast()
H A DextraBddMisc.c647 DdNode * bFuncR, * bFunc0, * bFunc1; in Extra_bddGetOneCube() local
658 bFunc1 = Cudd_Not( cuddT(bFuncR) ); in Extra_bddGetOneCube()
663 bFunc1 = cuddT(bFuncR); in Extra_bddGetOneCube()
678 bRes1 = Extra_bddGetOneCube( dd, bFunc1 ); Cudd_Ref( bRes1 ); in Extra_bddGetOneCube()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaClp.c296 DdNode * bFunc0, * bFunc1, * bFunc; in Gia_ManCollapse() local
312 …bFunc1 = Cudd_NotCond( (DdNode *)Vec_PtrEntry(vFuncs, Gia_ObjFaninId1(pObj, i)), Gia_ObjFaninC1(pO… in Gia_ManCollapse()
313 bFunc = Cudd_bddAndLimit( dd, bFunc0, bFunc1, nBddLimit ); in Gia_ManCollapse()
H A DgiaSupp.c117 DdNode * bFunc0, * bFunc1, * bFunc; in Gia_ManFindRemoved() local
129 …bFunc1 = Cudd_NotCond( (DdNode *)Vec_PtrEntry(p->vFuncs, Gia_ObjFaninId1(pObj, iObj)), Gia_ObjFani… in Gia_ManFindRemoved()
130 bFunc = Cudd_bddAndLimit( p->dd, bFunc0, bFunc1, nBddLimit ); in Gia_ManFindRemoved()
137 …bFunc1 = Cudd_NotCond( (DdNode *)Vec_PtrEntry(p->vFuncs, Abc_Lit2Var(p->iLits[1])), Abc_LitIsCompl… in Gia_ManFindRemoved()
138 bFunc = Cudd_bddAndLimit( p->dd, bFunc0, bFunc1, nBddLimit ); in Gia_ManFindRemoved()
/dports/games/quake2max/Quake2maX_0.45-src_unix/ref_gl/
H A Dgl_image.c84 GLenum bFunc1 = -1; variable
88 if (sfactor!=bFunc1 || dfactor!=bFunc2) in GL_BlendFunction()
90 bFunc1 = sfactor; in GL_BlendFunction()
93 qglBlendFunc(bFunc1, bFunc2); in GL_BlendFunction()
/dports/games/alienarena/alienarena-7.66/source/ref_gl/
H A Dr_image.c142 GLenum bFunc1 = -1; variable
146 if (sfactor!=bFunc1 || dfactor!=bFunc2) in GL_BlendFunction()
148 bFunc1 = sfactor; in GL_BlendFunction()
151 qglBlendFunc(bFunc1, bFunc2); in GL_BlendFunction()
/dports/games/alienarena-data/alienarena-7.66/source/ref_gl/
H A Dr_image.c142 GLenum bFunc1 = -1; variable
146 if (sfactor!=bFunc1 || dfactor!=bFunc2) in GL_BlendFunction()
148 bFunc1 = sfactor; in GL_BlendFunction()
151 qglBlendFunc(bFunc1, bFunc2); in GL_BlendFunction()
/dports/games/qudos/QuDos-0.40.1-src/src/ref_gl/
H A Dgl_image.c76 GLenum bFunc1 = -1; variable
81 if (sfactor != bFunc1 || dfactor != bFunc2) { in GL_BlendFunction()
82 bFunc1 = sfactor; in GL_BlendFunction()
85 qglBlendFunc(bFunc1, bFunc2); in GL_BlendFunction()
/dports/games/q2p/Q2P-0.2-2006-12-31/ref_gl/
H A Dgl_rmain.c487 GLenum bFunc1 = -1, variable
493 if (sfactor!=bFunc1 || dfactor!=bFunc2) { in GL_BlendFunction()
494 bFunc1 = sfactor; in GL_BlendFunction()
497 qglBlendFunc(bFunc1, bFunc2); in GL_BlendFunction()