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