Skjermbilde programvare:
Prog.varedetaljer:
BoolStuff er en C-bibliotek som kan støtte noen operasjoner på boolsk uttrykk binære trær.
En kommando som heter booldnf som kaller dette biblioteket for å konvertere et uttrykk til DNF er også gitt
Egenskaper .
- en enkel boolsk uttrykk parser (støtter operatører AND, OR og NOT, samt parentes);
- en algoritme for å konvertere en boolsk uttrykk binært tre inn i sin Disjunktiv normalform (denne algoritmen støtter IKKE operatør);
- en funksjon som avgjør om et uttrykk treet er i DNF.
Hva er nytt i denne utgaven:
- Denne utgivelsen fikser en bug der noen uttrykk som inneholder store negasjoner ville mislykkes en hevde setningen i stedet for å returnere den forventede null uttrykk.
- Det løser også en bug der noen dupliserte vilkår ikke vil bli oppdaget fordi deres faktorer som trengs for å bli sortert og forenklet seg til å tillate at gjenkjennelse.
- I tillegg g ++ 4.7.2 kompilering feil ble fikset (re: swap () -funksjonen) .
Hva er nytt i versjon 0.1.12:.
- Minne lekkasjer har blitt fikset
- En bug med uttrykket en og! En har blitt fikset.
- Kildekoden kompilerer nå som er med g ++ 4.3.0.
Kommentarer ikke funnet