bdd_reorder_verbose

int bdd_reorder_verbose ( int  value  )  Enables verbose information about reorderings. With bdd_reorder_verbose it is possible to set the level of information which should be printed during reordering. A value of zero means no information, a value of one means some information and any greater value will result in a lot of reordering information. The default value is zero. Returns: The old verbose level. See also: bdd_reorder

---