Podrobnosti Software:
Verze: 0.1.14
Datum uploadu: 20 Feb 15
Licence: Volný
Popularita: 8
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í.
- , g ++ 4.7.2 chyby kompilace byly opraveny (re: funkce pro swap ()) .
Kromě
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.
Komentáře nebyl nalezen