REORDERBDDSYSTEMTOP(3) - Linux manual page online | Library functions

Reorders the bdd nodes of a bdd system.