bdd_fullsatone

BDD bdd_fullsatone ( BDD  r  )  Finds one satisfying variable assignment. Finds a BDD with exactly one variable at all levels. This BDD implies r and is not false unless r is false. See also: bdd_allsat bdd_satone, bdd_satoneset, bdd_satcount, bdd_satcountln Returns: The result of the operation.

---