BoolStuff

BoolStuff je knihovna C, který může podporovat několik operací na logický výraz binární stromy.
Příkaz jmenoval booldnf, který volá tuto knihovnu pro převod výraz na DNF je také k dispozici

Vlastnosti :.

• jednoduchý boolean výraz parser (podporuje operátory AND, OR a NOT, stejně jako závorce);
• algoritmus pro převod logický výraz binární strom do své disjunktivní normální formy (to algoritmus podporuje operátor NOT);
• funkce, která určuje, zda výraz strom je v DNF.

Co je nového v této verzi:

• Tato verze opravuje chybu, kdy některé výrazy, které obsahují velké negace by selhání příkazu assert namísto vrácení očekávaný nulový výraz.
• se také opravuje chybu, kdy některé duplicitní podmínky by neměly být detekován, protože jejich faktory potřebné mohl být tříděn a zjednodušený se, aby toto odhalení.

Kromě
• , g ++ 4.7.2 chyby kompilace byly opraveny (re: funkce pro swap ())
.

Co je nového ve verzi 0.1.12:.

• úniky Paměťové byly opraveny
• chyba s výrazem A! A byla opravena.
• Zdrojový kód nyní zkompiluje jak to s g ++ 4.3.0.