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

Converts two bdd nodes to an abl multiplexor expression.