问题标签 [cudd]

问问题

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

56 问题
Newest
Active
Bountied
318
Unanswered
0 投票
2 回答
406 浏览

cudd - CUDD：如何计算决策图的节点数和边数？

我有一个指向 CUDD 决策图的根节点的指针，比如说

如何检索构成此决策树的节点数和边数？

0 投票
1 回答
3228 浏览

c++ - How to port a qmake project to cmake

I would like to "port" this C++ project, which uses qmake (i.e., a Tool.pro file) for building, to cmake.

Essentially, I'm asking how to go about writing the necessary CMakeLists.txt file(s) by looking at the Tool.pro file above.

This is what I've done so far:

This is definitely missing the headers that are present in the Tool.pro file. I'm also not sure what I have to do with the flags in the first 24 lines of the Tool.pro file.

Could you point me in the right direction please?

  • PS1. I have already looked at the CMake Tutorial.
  • PS2. I have tried two scripts: q2c, qmake2cmake. The former built an essentially empty CMakeLists.txt file. The latter built a seemingly OK file but then make failed saying it couldn't find some header file (which is located in a subdirectory).
  • PS3. I have successfully built the project with qmake.
0 投票
2 回答
364 浏览

c - CUDD 的布尔表达式解析器

我正在使用 C 上的 CUDD 库来制作二元决策图。我想知道是否有某种方法可以将作为字符串给出的布尔表达式转换为二进制决策图。

谢谢！

0 投票
1 回答
308 浏览

cygwin - 使用 cygwin 在 Windows 上设置 CUDD 2.5.1

我在命令提示符下使用 cygwin 设置 CUDD 2.5.1 时收到以下消息： sh ./setup.sh make: sh: command not found Makefile:224: recipe for target 'build' failed make *** [build ] 错误 127

我已将 CUDD nad cygwin 的两个目录都保存在 C:/(windows 7, 64-bit) 中。

这是 Makefile 的构建部分： build: sh ./setup.sh @+for dir in $(DIRS); 做 \ (cd $$dir; \ echo 制作 $$dir ...; \ make CC=$(CC) RANLIB=$(RANLIB) MFLAG= MNEMLIB= ICFLAGS="$(ICFLAGS)" XCFLAGS="$(XCFLAGS )" DDDEBUG="$(DDDEBUG)" MTRDEBUG="$(MTRDEBUG)" LDFLAGS="$(LDFLAGS)" PURE="$(PURE)" EXE="$(EXE)" )\ 完成

我应该怎么办？

0 投票
0 回答
382 浏览

c++ - gnu ld (mac) 不工作，链接器命令失败，错误代码为 1

我的ld有以下问题。

我该怎么办？

编译 CUDD 时出现以下错误：

PS：我正在使用

/usr/bin/ld我的ld 是

0 投票
2 回答
489 浏览

binary-decision-diagram - CUDD 积和布尔表达式

我想为以下布尔函数创建 BDD：

我设法仅F = (A'B'C'D')使用以下代码创建，但如何将其他产品术语添加到现有 BDD？

0 投票
1 回答
572 浏览

binary-decision-diagram - 使用 CUDD 的两个 BDD 的交集

我想为以下两个布尔函数找到两个 BDD 的交集：

这是我的代码：

这是我得到的结果：

正如您在此处看到的那样，交叉点给出 A=0 并且不关心 B、C 和 D。我期待 A、B、C 和 D 的值同时满足 F 和 G。但显然 A=0 不是F 和 G 的解决方案。例如，有人可以选择 A=0,B=1，它为函数 F 提供 0。这里有什么问题？

0 投票
0 回答
208 浏览

min - CUDD：将 BDD 转换为（最小）范式

我正在尝试将现有 BDD 导出为布尔表达式字符串。理想情况下，我想要一个最小长度的字符串或最小的范式，但我猜这本身就是一个难题。您知道将 BDD 转换为短字符串的方法吗？目前我正在使用该功能

但是结果几乎是不可读的，即使对于变量很少的 BDD。

0 投票
0 回答
58 浏览

cudd - 在CUDD中，如何强制一组变量停留在排序的末尾？

我有两组变量 A、B。我想启用重新排序，但要确保变量 A 始终出现在B 的变量之前。我还希望允许在 A 内和 B 内重新排序。

（我知道如何使用 Cudd_MakeTreeNode 创建两组 A 和 B；我的问题是关于确保 B 排在最后）

0 投票
1 回答
325 浏览

c - 操作从 CUDD 中的 BLIF 文件导入的 BDD

我正在尝试将 BLIF 文件导入到 CUDD 包中，从中创建一个 BDD，然后执行一些操作。我已经设法使用 ntr 包导入 BLIF 文件。但是，我无法弄清楚我应该如何访问生成的 BDD 中的任何变量或节点。

如果我为函数创建了自己的 BDD，我会在执行过程中创建变量，并且能够调用它们来执行不同的操作/操作。但是，通过 BLIF 导入，我所拥有的只是生成的 ddManager (dd) 和布尔网络 (net1)。有谁知道如何调用各个变量/节点？请参阅下面的 BLIF 生成代码。谢谢！


12345678910