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

Converts a bdd node to an abl expression.