bdd_satcount

double bdd_satcount ( BDD  r  )  Calculates the number of satisfying variable assignments. Calculates how many possible variable assignments there exists such that r is satisfied (true). See also: bdd_satone, bdd_fullsatone, bdd_satcountln, bdd_stacountset Returns: The number of possible assignments.

---