bdd_disable_reorder

void bdd_disable_reorder ( void   )  Disable automatic reordering. Disables automatic reordering until bdd_enable_reorder is called. Reordering is enabled by default as soon as any variable blocks have been defined. See also: bdd_enable_reorder

---