BoolStuff

BoolStuff est une bibliothèque C qui peut soutenir quelques opérations sur les arbres binaires expression booléennes.
Une commande booldnf nommé qui appelle cette bibliothèque pour convertir une expression à la DNF est également fourni

Caractéristiques :.

• simple analyseur d'expression booléenne (prend en charge les opérateurs AND, OR et NOT, ainsi que parenthèses);
• un algorithme pour convertir une expression booléenne arbre binaire dans sa forme normale disjonctive (cet algorithme prend en charge l'opérateur NOT);
• une fonction qui détermine si un arbre d'expression est en DNF.

Ce qui est nouveau dans cette version:

• Cette version corrige un bug où certaines expressions contenant de grandes négations serait l'échec d'une instruction assert au lieu de retourner l'expression null prévu.
• Il corrige également un bug où certains termes en double ne seraient pas détectés parce que leurs facteurs nécessaires pour être triés et se simplifiées pour permettre que la détection.
• En outre, g ++ 4.7.2 erreurs de compilation ont été fixés (re: fonction swap ())
.

Ce qui est nouveau dans la version 0.1.12:.

• Les fuites de mémoire ont été fixés
• Un bug avec l'expression d'un &! Un a été corrigé.
• Le code source compile maintenant est avec g ++ 4.3.0.