Searched defs:bF0 (Results 1 – 6 of 6) sorted by last modified time
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/dsd/ |
| H A D | dsdLocal.c | 149 DdNode * bFR, * bF0, * bF1; in Extra_dsdRemap() local
201 DdNode * bF0, * bF1; in Extra_bddNodePointedByCube() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/extrab/ |
| H A D | extraBddAuto.c | 589 DdNode * bF0, * bF1; in extraBddSpaceFromFunction() local
751 DdNode * bF0, * bF1; in extraBddSpaceFromFunctionPos() local
882 DdNode * bF0, * bF1; in extraBddSpaceFromFunctionNeg() local
1013 DdNode * bF0, * bF1; in extraBddSpaceCanonVars() local
1085 DdNode * bFR, * bF0, * bF1; in extraBddSpaceEquationsPos() local
1215 DdNode * bFR, * bF0, * bF1; in extraBddSpaceEquationsNeg() local
|
| H A D | extraBddSymm.c | 615 DdNode * bF0, * bF1; in extraZddSymmPairsCompute() local
829 DdNode * bF0, * bF1; in extraZddGetSymmetricVars() local
1077 DdNode * bF0, * bF1; in extraBddReduceVarSet() local
1186 DdNode * bF0, * bF1; in extraBddCheckVarsSymmetric() local
|
| H A D | extraBddUnate.c | 407 DdNode * bF0, * bF1; in extraZddUnateInfoCompute() local
|
| H A D | extraBddMisc.c | 1143 DdNode * bF0, * bF1; in extraBddMove() local
1820 DdNode * bF0 = Cudd_NotCond( Cudd_E( F ), fIsComp ); in extraZddPrimes() local
2066 DdNode * bF0, * bF1; in extraBddChangePolarity() local
2161 DdNode * bF0, * bF1, * bG0, * bG1, * bRes0, * bRes1, * bRes, * bVar; in extraBddAndPermute() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/kit/ |
| H A D | kitBdd.c | 148 DdNode * bF0, * bF1, * bF; in Kit_TruthToBdd_rec() local
|