binary decision diagram [closed]

Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.

---

We don’t allow questions seeking recommendations for books, tools, software libraries, and more. You can edit the question so it can be answered with facts and citations.

Closed 6 years ago.

Improve this question

In Java, I have set of expressions li开发者_运维知识库ke cond1 AND (cond2 OR cond3) AND ( cond 4 OR cond5). I would like to convert it into tree and then evaluate the final boolean answer. I tried searching a lot around java BDD but not able to get any. Any suggestion with sample code ?

---

A 5-second Google search returned some reasonable-looking results:

• JavaBDD
• Java Decision Diagram Libraries
• What is the best Binary Decision Diagram library for Java?

Is this not what you're looking for?

---

He means Binary Decision Diagrams.

I've been tinkering with JavaBDD and JBDD/JDD. Both are based on BuDDY (a C library) -- JBDD actually uses the C DLLs for a marginal performance boost.

It looks to me like JavaBDD is more fully-featured (ex. it supports composing BDDs, which is what I need). But there is also no tutorial for it, and while the class docs aren't terrible, frankly I can't figure out how to use it for the most basic of boolean operations (like the problem you pose).

JBDD/JDD requires you to use manual garbage collection, and does weird things like store BDD objects in Java integers -- clearly carry-overs from C. But it has a set of tutorials.

---

If you want to run your own parser, check out JavaCC. Here is a nice tutorial to get you started. A bit older, but still valid:

http://www.javaworld.com/jw-12-2000/jw-1229-cooltools.html