Searched refs:bFmin (Results 1 – 4 of 4) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/reo/ |
| H A D | reoTest.c | 183 DdNode * bFmin; in Extra_bddReorderTest() local
193 bFmin = Cudd_bddTransfer( dd, s_ddmin, bF ); Cudd_Ref( bFmin ); in Extra_bddReorderTest()
196 nNodes = Cudd_DagSize( bFmin ); in Extra_bddReorderTest()
197 Cudd_RecursiveDeref( s_ddmin, bFmin ); in Extra_bddReorderTest()
221 DdNode * bFmin; in Extra_addReorderTest() local
234 bFmin = Cudd_bddTransfer( dd, s_ddmin, bF ); Cudd_Ref( bFmin ); in Extra_addReorderTest()
236 aFmin = Cudd_BddToAdd( s_ddmin, bFmin ); Cudd_Ref( aFmin ); in Extra_addReorderTest()
237 Cudd_RecursiveDeref( s_ddmin, bFmin ); in Extra_addReorderTest()
|
| /dports/science/tfel-edf/tfel-3.2.1/src/NUMODIS/ |
| H A D | FrankRead.cxx | 56 double bFmin = beta0 - pi; in computeBetaF() local
58 if ( bFmin > bFmax ) in computeBetaF()
61 double Eq4min = this->Equation4(alpha,beta0,bFmin); in computeBetaF()
69 double bFmid = ( bFmax + bFmin ) / 2.0; in computeBetaF()
72 (( bFmax - bFmin ) / 2.0 < tol)){ in computeBetaF()
78 bFmin = bFmid; in computeBetaF()
|
| /dports/science/tfel/tfel-3.4.0/src/NUMODIS/ |
| H A D | FrankRead.cxx | 56 double bFmin = beta0 - pi; in computeBetaF() local
58 if ( bFmin > bFmax ) in computeBetaF()
61 double Eq4min = this->Equation4(alpha,beta0,bFmin); in computeBetaF()
69 double bFmid = ( bFmax + bFmin ) / 2.0; in computeBetaF()
72 (( bFmax - bFmin ) / 2.0 < tol)){ in computeBetaF()
78 bFmin = bFmid; in computeBetaF()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/cas/ |
| H A D | casCore.c | 956 DdNode * bFmin; in WriteDDintoBLIFfileReorder() local
963 bFmin = Cudd_bddTransfer( dd, s_ddmin, Func ); Cudd_Ref( bFmin ); in WriteDDintoBLIFfileReorder()
966 printf( "Nodes before = %d. ", Cudd_DagSize(bFmin) ); in WriteDDintoBLIFfileReorder()
969 printf( "Nodes after = %d. \n", Cudd_DagSize(bFmin) ); in WriteDDintoBLIFfileReorder()
978 cuddCollectNodes( Cudd_Regular(bFmin), visited ); in WriteDDintoBLIFfileReorder()
992 refAddr = ( long )Cudd_Regular(bFmin); in WriteDDintoBLIFfileReorder()
1012 …fprintf( pFile, ".names %s%lx %s\n", Prefix, ( mask & (long)Cudd_Regular(bFmin) ) / sizeof(DdNode)… in WriteDDintoBLIFfileReorder()
1013 fprintf( pFile, "%s 1\n", (Cudd_IsComplement(bFmin))? "0": "1" ); in WriteDDintoBLIFfileReorder()
1062 Cudd_RecursiveDeref( s_ddmin, bFmin ); in WriteDDintoBLIFfileReorder()
|