BoolStuff

BoolStuff ist eine C-Bibliothek, die einige Operationen auf Booleschen Ausdruck Binärbäume unterstützen kann.
Ein Befehl namens booldnf, die diese Bibliothek, um einen Ausdruck auf die DNF ist ebenfalls vorhanden umwandeln ruft

Eigenschaften .

• eine einfache boolean Ausdruck Parser (unterstützt Operatoren AND, OR und NOT sowie Klammern);
• ein Algorithmus, um einen Booleschen Ausdruck binären Baum in die disjunktive Normalform umwandeln (dieser Algorithmus unterstützt den Operator NOT);
• eine Funktion, wenn ein Ausdruck Baum ist in DNF bestimmt.

Was ist neu in dieser Pressemitteilung:

• Diese Version behebt einen Bug, wo einige Ausdrücke, die große Negationen würde nicht eine assert-Anweisung anstelle der Rücksendung der erwarteten Null Ausdruck.
• Es behebt auch ein Bug behoben, einige doppelte Begriffe nicht erkannt werden, da die Faktoren notwendig, um sortiert und vereinfacht sich, diesen Nachweis zu ermöglichen.
• Zusätzlich g ++ 4.7.2 Kompilierungsfehler wurden beseitigt (re: Funktion swap ())
.

Was ist neu in Version 0.1.12:.

• Speicherlücken wurden nun korrigiert
• Ein Fehler mit dem Ausdruck ein und! A, wurde behoben.
• Der Quellcode jetzt kompiliert, wie es mit g ++ 4.3.0.