-
dd_autodyn_disable()
- Disables automatic dynamic reordering of BDD and ADD.
-
dd_autodyn_enable()
- Enables automatic dynamic reordering of BDDs and ADDs.
-
dd_checkzeroref()
- Checks the unique table for nodes with non-zero reference
counts.
-
dd_dump_davinci()
- Writes a daVnci file representing the argument DDs.
-
dd_dump_dot()
- Writes a dot file representing the argument DDs.
-
dd_get_ordering_method()
- Gets the internal reordering method used.
-
dd_get_size()
- Returns the number of BDD variables in existance.
-
dd_get_var_at_level()
- Returns the index of the variable currently in the i-th
position of the order.
-
dd_new_var_block()
- Builds a group of variables that should stay adjacent
during reordering.
-
dd_print_stats()
- Prints out statistic and setting of the DD manager.
-
dd_printminterm()
- Prints a disjoint sum of products.
-
dd_reordering_status()
- Reports the status of automatic dynamic reordering of BDDs
and ADDs.
-
dd_reorder()
- Main dynamic reordering routine.
-
dd_set_parameters()
- Sets the internal parameters of the package to the given values.
Last updated on 990908 16h51