2011-01-19 13 views
0

Javaでは、cond1 AND(cond2 OR cond3)AND(cond 4 OR cond5)のような式を設定しました。私はそれをツリーに変換し、最後のブール値の答えを評価したいと思います。私はJava BDDの周りで多くの検索を試みましたが、何も取得できませんでした。サンプルコードのご提案ですか? Google searchは、いくつかの合理的に見える結果が返さバイナリ決定図

+0

このBDDはBehavior Driven Developmentだと思います。あなたの質問に幸運 - 私は手がかりを持っていません:) – nick

+0

式を評価し、式に一致する結果を取得しますか?これは、@ Jochenの答えと同じように、バイナリ決定図と関係しています。 –

答えて

2

彼は二分決定グラフを意味しています。

私はJavaBDDJBDD/JDDとおしゃべりしています。どちらもBuDDY(Cライブラリ)をベースにしています - JBDDは実際にはC DLLを使用してパフォーマンスを大幅に向上させています。

JavaBDDはより完全な機能を備えているようです(たとえば、BDDの作成をサポートしています)。しかし、それについてのチュートリアルもなく、クラスのドキュメントはひどいわけではありませんが、率直に言って私は、あなたが主張する問題のような最も基本的なブール演算にどのように使用するのか分かりません。

JBDD/JDDでは、手作業でガベージコレクションを使用する必要があり、BDDオブジェクトをJava整数で格納するような奇妙なことがあります.Cからはっきりと持ち越されますが、一連のチュートリアルがあります。

+0

更新:今週末、私はシンプルな(そして疑わしい非効率な)BDDライブラリを作成しました。ソースコードはここにあります(https: //github.com/SigmaX/LightBDD)。私はそれをプレゼン可能にする時間がありませんでした(つまり、素敵なreadmeやチュートリアルを書いてください)、それは適度にテストされているだけですが、それはあなたにとって有用かもしれません。 – SigmaX