bdd_satone

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

---