Home
last modified time | relevance | path

Searched refs:bRes0 (Results 1 – 5 of 5) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/extrab/
H A DextraBddAuto.c649 if ( bRes0 == NULL ) in extraBddSpaceFromFunction()
655 cuddRef( bRes0 ); in extraBddSpaceFromFunction()
716 cuddDeref( bRes0 ); in extraBddSpaceFromFunction()
788 cuddRef( bRes0 ); in extraBddSpaceFromFunctionPos()
848 cuddDeref( bRes0 ); in extraBddSpaceFromFunctionPos()
919 cuddRef( bRes0 ); in extraBddSpaceFromFunctionNeg()
979 cuddDeref( bRes0 ); in extraBddSpaceFromFunctionNeg()
1371 cuddRef( bRes0 ); in extraBddSpaceFromMatrixPos()
1431 cuddDeref( bRes0 ); in extraBddSpaceFromMatrixPos()
1489 cuddRef( bRes0 ); in extraBddSpaceFromMatrixNeg()
[all …]
H A DextraBddMisc.c667 bRes0 = Extra_bddGetOneCube( dd, bFunc0 ); Cudd_Ref( bRes0 ); in Extra_bddGetOneCube()
669 if ( bRes0 != b0 ) in Extra_bddGetOneCube()
1166 if ( bRes0 == NULL ) in extraBddMove()
1168 cuddRef( bRes0 ); in extraBddMove()
2089 cuddRef( bRes0 ); in extraBddChangePolarity()
2201 if ( bRes0 == NULL ) in extraBddAndPermute()
2203 cuddRef( bRes0 ); in extraBddAndPermute()
2624 if ( bRes0 == NULL ) in extraBddTuples()
2626 cuddRef( bRes0 ); in extraBddTuples()
2647 if ( bRes0 == bRes1 ) in extraBddTuples()
[all …]
H A DextraBddSymm.c1185 DdNode * bRes0, * bRes1; in extraBddCheckVarsSymmetric() local
1249 bRes0 = extraBddCheckVarsSymmetric( dd, bF0, bVars ); in extraBddCheckVarsSymmetric()
1251 assert( bRes0 != z0 ); in extraBddCheckVarsSymmetric()
1252 if ( bRes0 == b0 ) in extraBddCheckVarsSymmetric()
1262 bRes0 = extraBddCheckVarsSymmetric( dd, bF0, Cudd_Not( cuddT(bVars) ) ); in extraBddCheckVarsSymmetric()
1263 if ( bRes0 == b0 ) in extraBddCheckVarsSymmetric()
1273 if ( bRes0 == z0 || bRes1 == z0 ) in extraBddCheckVarsSymmetric()
1283 bRes0 = extraBddCheckVarsSymmetric( dd, bF0, bVars ); in extraBddCheckVarsSymmetric()
1284 if ( bRes0 == b0 ) in extraBddCheckVarsSymmetric()
1295 if ( bRes0 == z0 || bRes1 == z0 ) in extraBddCheckVarsSymmetric()
H A DextraBddCas.c682 DdNode * bRes0, * bRes1; in CreateTheCodes_rec() local
691 bRes0 = CreateTheCodes_rec( dd, bCof0, Level+1, pCVars ); Cudd_Ref( bRes0 ); in CreateTheCodes_rec()
702 bProd0 = Cudd_bddAnd( dd, bTemp = bProd0, bRes0 ); Cudd_Ref( bProd0 ); in CreateTheCodes_rec()
704 Cudd_RecursiveDeref( dd, bRes0 ); in CreateTheCodes_rec()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/dsd/
H A DdsdLocal.c150 DdNode * bRes0, * bRes1, * bRes; in Extra_dsdRemap() local
172 …bRes0 = Extra_dsdRemap( dd, bF0, pCache, pVar2Form, pForm2Var, pbCube0, pbCube1 ); Cudd_Ref( bRes0… in Extra_dsdRemap()
176 bRes = Cudd_bddIte( dd, dd->vars[ pForm2Var[iForm] ], bRes1, bRes0 ); Cudd_Ref( bRes ); in Extra_dsdRemap()
177 Cudd_RecursiveDeref( dd, bRes0 ); in Extra_dsdRemap()