search

xavitator / ROBDD-project

Implémentation d'un algorithme permettant de construire le ROBDD –canoniquement- associé à une expression booléenne donnée.
1 stars 0 forks source link

Optimisation de build #2

Closed xavitator closed 5 years ago

xavitator commented 5 years ago

Voici deux optimisations qu'on pourrait faire pour build :

La fonction auxiliaire dans build prendrait un tableau en argument correspondant aux valeurs de vérités de chaque variable (None si pas de valeur, et Some b si valeur). De ce cas là, la fonction replace ne serait pas utilisée.

La fonction getBool renverrait une expression simplifiée de l'expression évalué, en plus de la valeur de vérité. Cela permettrait de supprimer, lors de l'évaluation, des expressions inutiles. Par exemple, lorsqu'on a (x ou (0 et y)), on renvoie x et none (pour la valeur de vérité).

xavitator commented 5 years ago

Résolu avec le commit a573c132b6e55984dedf003df47127921ae8be0a et le commit 36e0e5fc710ab1105393a1c5e20edfd769f26771.