BoolStuff

BoolStuff là một thư viện C có thể hỗ trợ một số hoạt động trên biểu hiện cây nhị phân boolean.
Một lệnh có tên booldnf mà các cuộc gọi thư viện này để chuyển đổi một biểu cho sự DNF cũng được cung cấp

Tính năng .

• đơn giản biểu hiện phân tích cú pháp boolean (hỗ trợ khai thác AND, OR và NOT, cũng như dấu ngoặc đơn);
• một thuật toán để chuyển đổi một biểu thức boolean cây nhị phân vào Normal Form ly tiếp của nó (thuật toán này hỗ trợ các nhà điều hành NOT);
• một chức năng xác định nếu một cây biểu hiện là trong DNF.

là gì mới trong phiên bản này:

• Phiên bản này sửa chữa một lỗi mà một số biểu thức chứa phủ định lớn sẽ không một tuyên bố khẳng định thay vì trở về biểu dự kiến ​​null.
• Nó cũng sửa chữa một lỗi mà một số thuật ngữ trùng lặp sẽ không được phát hiện bởi vì các yếu tố của họ cần phải được sắp xếp và đơn giản hóa bản thân để cho phép phát hiện đó.
• Ngoài ra, g ++ 4.7.2 lỗi biên dịch đã được cố định (re: swap () chức năng)
.

là gì mới trong phiên bản 0.1.12:.

• rò rỉ bộ nhớ đã được cố định
• Một lỗi với các biểu hiện một &! Một đã được cố định.
• Mã nguồn bây giờ biên dịch như là với g ++ 4.3.0.