-
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_free_var_block()
- Dissolves a group previously created by dd_new_var_block
-
dd_get_index_at_level()
- Returns the index of the variable currently in the i-th
position of the order.
-
dd_get_level_at_index()
- Returns the current position of the i-th variable in the
order.
-
dd_get_ordering_method()
- Gets the internal reordering method used.
-
dd_get_reorderings()
- Returns the number of times reordering has occurred.
-
dd_get_size()
- Returns the number of BDD variables in existance.
-
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_order()
- Reorders variables according to given permutation.
-
dd_set_parameters()
- Sets the internal parameters of the package to the given values.
Last updated on 2011/04/06 21h:13