BoolStuff

BoolStuff er et C-bibliotek, der kan understøtte et par operationer på Boolesk udtryk binære træer.
En kommando ved navn booldnf der kalder dette bibliotek til at konvertere et udtryk til DNF er også

Egenskaber :.

• en simpel boolean udtryk parser (understøtter operatørerne AND, OR og NOT samt parentes);
• en algoritme til at konvertere en boolsk udtryk binært træ i sin disjunktive Normal Form (denne algoritme understøtter NOT operatør)
• en funktion, der afgør, om et udtryk træet er i DNF.

Hvad er nyt i denne udgivelse:

• Denne udgivelse løser en fejl, hvor nogle udtryk, der indeholder store negationer ville mislykkes en assert erklæring i stedet for at returnere den forventede null udtryk.
• Det løser også en fejl, hvor nogle dublerede vilkår ikke ville blive opdaget, fordi deres forhold er nødvendige for at blive sorteret og forenkles sig for at tillade, at detektion.
• Derudover g ++ 4.7.2 kompilering fejl blev fastsat (re: swap () funktion)
.

Hvad er nyt i version 0.1.12:.

• Memory lækager er fastsat
• En fejl med udtrykket a &! A er blevet rettet.
• Kildekoden nu udarbejder som er med g ++ 4.3.0.