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

Deletes an output in a bdd circuit.