وBoolStuff هي مكتبة C التي يمكن أن تدعم بعض العمليات على التعبير الأشجار الثنائية منطقية.
واسمه booldnf الأمر الذي يدعو هذه المكتبة لتحويل تعبير ليتم توفيرها أيضا DNF
الميزات:.
بسيطة منطقية محلل التعبير (مشغلي الدعم AND، OR NOT و، كما كذلك قوسين)؛
خوارزمية لتحويل تعبير شجرة ثنائية منطقية في نموذج عادي طباقي لها (هذه الخوارزمية يدعم المشغل NOT).
وظيفة هو الذي يحدد ما إذا كان شجرة التعبير في DNF.
ما هو الجديد في هذا الإصدار:
هذا الإصدار بإصلاح الخلل فيها بعض التعبيرات التي تحتوي على الإنكار كبيرة ستفشل بيان ASSERT بدلا من إرجاع التعبير باطل المتوقع.
فإنه أيضا بإصلاح الخلل فيها لن يتم الكشف عن بعض المصطلحات المكررة بسبب العوامل التي تحتاج إلى فرز ومبسطة أنفسهم للسماح بأن الكشف.
وبالإضافة إلى ذلك، ز ++ كانت ثابتة 4.7.2 أخطاء ترجمة (إعادة: مقايضة () وظيفة).
ما هو الجديد في الإصدار 0.1.12:
وقد تم إصلاح تسرب الذاكرة.
وقد تم إصلاح الخلل مع تعبير و! أ.
شفرة المصدر يجمع الآن كما هو الحال مع ز ++ 4.3.0.
لم يتم العثور على التعليقات