pragmatism first

SUBSTBDDNODEASSOC(3) - manual page | Library functions

Substitutes a set of variables with a set of bdd node.

Loading manual page ...