bdd_satcountset

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

---