ソフトウェアのスクリーンショット:
BoolStuffはブール式バイナリ木にいくつかの操作をサポートすることができますCライブラリです。
も用意されてDNFに式を変換するには、このライブラリを呼び出すコマンドの名前booldnf
のの特徴：ます。
- シンプルブール式パーサーは（括弧だけでなく、演算子をサポートしてAND、OR、およびNOT）;
- は、その論理和標準形にブール式バイナリツリーを変換するためのアルゴリズムが（このアルゴリズムは、NOT演算子をサポートしています）;
- 式ツリーがDNFにあるかを決定する関数ます。
のこのリリースのの新機能は次のとおりです。
- このリリースでは、いくつかの表現が大否定したい含むバグを修正代わりに予想されるヌル表現を返すのassert文を失敗します。
- それはまた、彼らの要因は、その検出を可能にするために自分自身をソートし、簡素化する必要があるため、一部重複する用語が検出されないバグを修正します。
- に加えて、4.7.2コンパイル·エラーが修正されたG ++（RE：スワップ（）関数） 。
- ：
- 式のA＆！Aでのバグが修正されました。
- ソースコードは現在、G ++ 4.3.0であるようにコンパイルします。
メモリリークが修正されています。
のバージョン0.1.12のの新機能である
コメントが見つかりません