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

Substitutes a variable by a bdd in another bdd.