Java では、cond1 AND (cond2 OR cond3) AND ( cond 4 OR cond5) のような式のセットがあります。それをツリーに変換してから、最終的なブール値の答えを評価したいと思います。私はJava BDDの周りをたくさん検索しようとしましたが、何も得ることができませんでした. サンプルコードで何か提案はありますか?
2413 次
3 に答える
4
于 2011-01-19T17:06:21.797 に答える
3
彼は二分決定図を意味します。
私はJavaBDDとJBDD/JDDをいじっています。両方とも BuDDY (C ライブラリ) に基づいています。JBDD は実際に C DLL を使用してわずかなパフォーマンス向上を実現しています。
私には、JavaBDD がより完全な機能を備えているように見えます (たとえば、私が必要としている BDD の作成をサポートしています)。しかし、チュートリアルもありません。クラスのドキュメントはひどいものではありませんが、率直に言って、最も基本的なブール演算(あなたが提起する問題など)に使用する方法がわかりません。
JBDD/JDD では、手動のガベージ コレクションを使用する必要があり、BDD オブジェクトを Java 整数に格納するなどの奇妙なことを行います。これは明らかに C からの継承です。ただし、一連のチュートリアルがあります。
于 2011-12-06T16:30:15.743 に答える
0
独自のパーサーを実行したい場合は、JavaCC をチェックしてください。これは、開始するための優れたチュートリアルです。少し古いですが、まだ有効です：
于 2011-01-19T17:17:33.290 に答える