bdd_satoneset

BDD bdd_satoneset ( BDD  r, BDD  var, BDD  pol   ) Finds one satisfying variable assignment. Finds a minterm in r. The var argument is a variable set that defines a set of variables that must be mentioned in the result. The polarity of these variables in result --- in case they are undefined in r --- are defined by the pol parameter. If pol is the false BDD then the variables will be in negative form, and otherwise they will be in positive form. See also: bdd_allsat bdd_satone, bdd_fullsatone, bdd_satcount, bdd_satcountln Returns: The result of the operation.

---