bdd101.h | bdd 101 |
|---|---|
| C pour Linux | |
Description
Cette bibliothèque renferme les routines de circuit bdd.
Liste des fonctions
| Nom | Description |
|---|---|
| ADDBDDASSOC | Cette fonction permet de créer de nouvelles associations de variables. |
| ADDBDDCIRCUITABL | Cette fonction permet d'effectuer la conversion d'une expression abl en un noeud bdd. |
| ADDBDDCIRCUITIN | Cette fonction permet d'effectuer l'ajout d'un entrée dans le circuit bdd. |
| ADDBDDCIRCUITOUT | Cette fonction permet d'effectuer l'ajout d'une sortie dans le circuit bdd. |
| ADDBDDNODE | Cette fonction permet d'effectuer l'ajout d'un nouveau noeud bdd dans un système bdd. |
| ADDBDDNODEASSOC | Cette fonction permet d'effectuer l'ajout d'un noeud bdd dans une association de variable. |
| ADDBDDNODELIST | Cette fonction permet d'effectuer l'ajout d'un noeud dans un «chain_list». |
| ADDBDDVAR | Cette fonction permet d'effectuer l'ajout de variable dans un système «bdd». |
| ADDBDDVARAFTER | Cette fonction permet d'effectuer l'ajout d'une nouvelle variable, après une existant déjà. |
| ADDBDDVARBEFORE | Cette fonction permet d'effectuer l'ajout d'une nouvelle variable, avant une existant déjà. |
| ADDBDDVARFIRST | Cette fonction permet d'effectuer l'ajout d'une nouvelle variable, avant toutes les autres. |
| ADDBDDVARLAST | Cette fonction permet d'effectuer l'ajout d'une nouvelle variable, après toutes les autres. |
| APPLYBDDNODE | Cette fonction permet d'appliquer un opérateur à 2 noeuds BDD. |
| APPLYBDDNODEITE | Cette fonction permet d'effectuer le calcul d'opération logique IF-THEN-ELSE. |
| APPLYBDDNODELIST | Cette fonction permet d'appliquer un opérateur à une liste de noeud BDD. |
| APPLYBDDNODENOT | Cette fonction permet d'effectuer le complément de BDD. |
| APPLYBDDNODETERM | Cette fonction permet d'appliquer un opérateur à 2 noeuds terminal BDD. |
Dernière mise à jour : Samedi, le 20 février 2016