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

Adds an input in a bdd circuit.