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 2009/03/04 13h:34