二元決策圖

在Java中，我有一系列的表達式，如cond1 AND（cond2 OR cond3）AND（cond 4 OR cond5）。我想將它轉換成樹，然後評估最終的布爾答案。我試着圍繞java BDD進行搜索，但無法獲得任何信息。任何有關示例代碼的建議？二元決策圖

2011-01-19 user602632

我認爲這個BDD是行爲驅動開發。祝你好運與你的問題 - 我沒有線索:) – nick 2011-01-19 20:54:32

你想評估一個表達式，並得到匹配表達式的結果？這更像是@ Jochen的答案，然後是與二元決策圖有關的任何事情。 – 2011-01-22 18:30:52

5秒Google search返回一些合理的妝效：

這是不是你想要的？

2011-01-19 17:06:21

順便說一句，還有：https：//github.com/johnyf/tool_lists/blob/master/bdd.md – 2015-06-08 01:25:20

如果您想運行自己的解析器，請查看JavaCC。這是一個很好的教程，讓你開始。一個年紀大一點，但仍然有效：

2011-01-19 17:17:33

他的意思是二元決策圖。

我一直在修補JavaBDD和JBDD/JDD。兩者都基於BuDDY（一個C庫） - JBDD實際上使用C DLL來提高邊緣性能。

它在我看來像JavaBDD功能更全面（例如，它支持組成BDD，這是我所需要的）。但也沒有教程，雖然類文檔並不可怕，但坦白地說，我無法弄清楚如何將它用於最基本的布爾操作（比如你提出的問題）。

JBDD/JDD要求您使用手動垃圾回收，並且使用Java整數存儲BDD對象這些奇怪的事情 - 顯然是從C中取出的。但它有一組教程。

2011-12-06 16:30:15 SigmaX

回答