ダウンロードリスト

Sponsored link

プロジェクト概要

!BoolStuff は、ブール式のバイナリ ツリーの選言標準形を計算する小さな C++ ライブラリです。ライブラリは、C プログラミング インターフェイスもあります。

システム要件

システム要件が設定されていません
プロジェクトのリリース情報やプロジェクトリソースの情報です。
注: プロジェクトリソースの情報は Freecode.com ページからの引用です。ダウンロードそのものは、OSDNにホスティングされているものではありません。

2010-02-15 07:16
0.1.13

結果リタイアの条件は今では、重複した条件排除することができますソートされます。グラムの下でコンパイルエラー+ + 4.4修正されている。
The terms of the resulting DNF are now sorted so that duplicate terms can be eliminated. Compilation errors under g++ 4.4 have been fixed.

2008-10-14 14:12
0.1.12

メモリリークが修正されている。式でのバグ&!固定されている。ソースコードの現在のグラムですコンパイル+ + 4.3.0。
タグ: Major bugfixes
Memory leaks have been fixed. A bug with the expression a&!a has been fixed. The source code now compiles as is with g++ 4.3.0.

2007-04-30 15:28
0.1.11

これは、メンテナンスリリースです。サンプルプログラムはもうインストールされていないのRPMパッケージを終了しないでください。
タグ: Minor bugfixes
This is a maintenance release. Example programs
are not installed anymore and do not end up in the
RPM packages.

2006-02-05 08:45
0.1.10

リタイアアルゴリズムは現在のケースは、結果の式のツリーが大きすぎることを検出します。ツリーノードの最大数を10000に設定されます。 booldnfコマンドは現在EXIT_FAILUREの1つが要求された変換を返すに失敗します。
タグ: Minor feature enhancements
The DNF algorithm now detects cases where the
resulting expression tree would be too large. The
maximum number of tree nodes is set to 10000. The
booldnf command now returns EXIT_FAILURE if one of
the requested conversions fail.

2005-05-09 07:15
0.1.9

バグのような!式に関すること(!(&m)場所)に固定された。引用符の変数名は、もはやBoolExprクラス間の依存関係とは、stdテンプレート:を避けるために:文字列型がサポートされます。
タグ: Minor bugfixes
A bug concerning expressions like !(!(a & m)) was fixed. Quoted variable names are no longer supported to avoid a dependency between the BoolExpr class template and the std::string type.

プロジェクトリソース