fdd_scanvar

int fdd_scanvar ( BDD  , int    ) Finds one satisfying value of a fdd variable. Finds one satisfying assignment of the FDD variable var in the BDD r and returns this value. Returns: The value of a satisfying assignment of var. If r is the trivially false BDD, then a negative value is returned. See also: fdd_scanallvar

---