Lines Matching defs:unused
2376 double unused = bddvarnum;2383 unused--;2385 unused = bdd_satcount(r) / pow(2.0,unused);2387 return unused >= 1.0 ? unused : 1.0;2460 double unused = bddvarnum;2467 unused--;2469 unused = bdd_satcountln(r) - unused;2471 return unused >= 0.0 ? unused : 0.0;