ADDBDDCIRCUITABL |
Ajout une table de circuit |
---|---|
bdd101.h |
Syntaxe
bddnode *addbddcircuitabl(bddcircuit *BddCircuit, chain_list *Expr); |
Description
Cette fonction permet d'effectuer la conversion d'une expression abl en un noeud bdd.
Dernière mise à jour : Dimanche, le 22 mars 2015