sdfsam1 | Bonjour, est ce que il y a quelqu'un peut m'aider pour implémenter cette fonction en C
Code :
- Entrées : F, G, H : ROBDD
- Sortie : ROBDD
- début
- si cas terminal alors
- Renvoyer (resultat)
- sinon si ({F, G, H}best une entrée de la table computed-table) alors
- Renvoyer (resultat)
- sinon // Soit v la variable top de {F, G, H}
- T <- ite (Fv, Gv, Hv)
- E <- ite (F v , G v , H v )
- si T = E alors
- Renvoyer (T)
- R<-recherche_ or_ ajout_unique-table (v, T, E)
- Insert_computed-table ({F, G, H}, R)
- Renvoyer (R)
- fin
|
merci d'avance
|