Functional composition.
Substitutes the variable var with the BDD g in the BDD f: result ![$= f[g/var]$](form_13.png)
.
- Returns:
- The composed BDD.
- See also:
- bdd_veccompose, bdd_replace, bdd_restrict
|
Functional composition.
Substitutes the variable var with the BDD g in the BDD f: result
|
1.5.1