bdd_level2var

int bdd_level2var ( int  level  )  Fetch the variable number of a specific level. Returns the variable placed at position level in the current variable order. See also: bdd_reorder, bdd_var2level

---