APPLYBDDNODETERM |
Applique un noeud terminal BDD |
|---|---|
| bdd101.h |
Syntaxe
| bddnode *applybddnodeterm(bddsystem *BddSystem, long Oper, bddindex Index, bddnode *BddNode); |
Description
Cette fonction permet d'appliquer un opérateur à 2 noeuds terminal BDD.
Dernière mise à jour : Dimanche, le 22 mars 2015