bdd_satcountlnset

double bdd_satcountlnset ( BDD  r, BDD  varset   ) Calculates the logarithm of the number of satisfying variable assignments for a given set of variables. 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. Only the variables in the variable set varset are considered. This makes the function a lot slower! than bdd_satcountln. See also: bdd_satone, bdd_fullsatone, bdd_satcount, bdd_satcountln Returns: The logarithm of the number of possible assignments.

---