در BoolStuff یک کتابخانه C است که می تواند چند عملیات در عبارات بولین درختان دودویی حمایت است.
دستور به نام booldnf که خواستار این کتابخانه برای تبدیل یک عبارت به DNF نیز ارائه شده
ویژگی ها:.
تجزیه کننده ساده بیان بولی (حمایت اپراتورهای AND، OR و NOT، به عنوان همچنین پرانتز).
یک الگوریتم برای تبدیل یک عبارت درخت دودویی بولی به فصلی فرم عادی خود را (این الگوریتم با پشتیبانی از اپراتور NOT).
یک تابع است که تعیین اگر یک درخت بیان است در DNF.
چه جدید در این نسخه است:
در این نسخه رفع اشکال که در آن برخی از عبارات حاوی نفی بزرگ خواهد بیانیه ای ادعا به جای بازگشت بیان پوچ انتظار می رود با شکست مواجه.
این نیز رفع اشکال که در آن برخی از شرایط تکراری نمی توان شناسایی به دلیل عوامل خود نیاز به طبقه بندی شده اند می شود و ساده خود اجازه می دهد تا که تشخیص.
علاوه بر این، گرم ++ 4.7.2 خطاهای تلفیقی ثابت شد (RE: مبادله تابع ()).
جدید در نسخه 0.1.12 است:
به نشت حافظه ثابت شده است.
اشکال با بیان و! ثابت شده است.
کد منبع در حال حاضر کامپایل به عنوان است با گرم ++ 4.3.0.
نظر یافت نشد