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

Applies an opertor to a bdd nodes list.