JBDD/JDD 要求您使用手动垃圾收集，并执行一些奇怪的操作，例如将 BDD 对象存储在 Java 整数中 - 显然是从 C 继承的。但它有一组教程。
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.
发布评论
评论（3）
5 秒的 Google 搜索返回了一些合理的结果 -查看结果：
这不是您要找的吗？
A 5-second Google search returned some reasonable-looking results:
Is this not what you're looking for?
他的意思是二元决策图。
我一直在修改 JavaBDD 和 JBDD/JDD.两者都基于 BuDDY（一个 C 库）——JBDD 实际上使用 C DLL 来提高边际性能。
在我看来，JavaBDD 的功能更全面（例如，它支持编写 BDD，这正是我所需要的）。但也没有针对它的教程，虽然类文档并不糟糕，但坦率地说，我无法弄清楚如何将它用于最基本的布尔运算（如您提出的问题）。
JBDD/JDD 要求您使用手动垃圾收集，并执行一些奇怪的操作，例如将 BDD 对象存储在 Java 整数中 - 显然是从 C 继承的。但它有一组教程。
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.
如果您想运行自己的解析器，请查看 JavaCC。
这是一个很好的教程，可以帮助您入门。有点旧，但仍然有效：
http://www.javaworld .com/jw-12-2000/jw-1229-cooltools.html
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