bdd_getreorder_times

int bdd_getreorder_times ( void   )  Fetch the current number of allowed reorderings. Returns the current number of allowed reorderings left. This value can be defined by bdd_autoreorder_times. See also: bdd_reorder_times, bdd_getreorder_method

---