Crate oxidd_reorder

Functionality to reorder levels in a decision diagram

Functions

level_down^⚠

Swap the level given by upper_no with the level directly below.

set_var_order

Reorder the variables such that the edges in order are sorted by their levels.

set_var_order_seq

Reorder the variables such that the edges in order are sorted by their levels.