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

Searchs an output in a bdd circuit.