bdd_var2level

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

---