bdd_satcountln

double bdd_satcountln ( BDD  r  )  Calculates the logarithm of the number of satisfying variable assignments. Calculates how many possible variable assignments there exists such that r is satisfied (true) and returns the logarithm of this. The result is calculated in such a manner that it is practically impossible to get an overflow, which is very possible for bdd_satcount if the number of defined variables is too large. See also: bdd_satone, bdd_fullsatone, bdd_satcount, bdd_satcountlnset Returns: The logarithm of the number of possible assignments.

---