问题标签 [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.

0 投票
1 回答
88 浏览

c - Cudd_bddIte 的意外输出

我正在尝试使用Cudd_bddIte来实现简单的 BDD。以下代码按预期工作,给出图片中的图表(代表 node bdd):

在此处输入图像描述

但是,如果我将 ITE 语句更改为tmp2以下

我得到了这个意想不到的图表:

在此处输入图像描述

对我来说,这是错误的,因为我希望最顶层的变量在为假时仍会立即产生 1,如第一张图片所示。我究竟做错了什么?

0 投票
1 回答
152 浏览

cudd - CUDD 使用非门

我正在尝试为单调乘法构建 BDD,并且需要使用输入位的否定。

我正在使用以下代码:

我得到的错误是:

当我使用时,乘法器编译并运行良好

我该怎么办,手册无助于不遵守 ref x[k],nx[k]...

0 投票
2 回答
779 浏览

binary - CUDD:对 BDD 的操作

我正在使用 CUDD C++ 接口(https://github.com/ivmai/cudd),但几乎没有关于这个库的信息。我想知道如何根据其值删除一个变量。

例如,我现在将下一个表存储在 a 中bdd

我想bdd根据 x2 的值将前一个表拆分为两个单独的 s ,然后删除该节点:

如果x2 = 0

如果x2 = 1

可能吗?

0 投票
0 回答
32 浏览

c - EXC_BAD_ACCESS 错误

我正在研究 CUDD 包,但在函数 Cudd_DumpDot(下面的第一行)中遇到了 EXC_BAD_ACCESS 错误。发生了什么?

0 投票
1 回答
118 浏览

binary - CUDD:将变量转换为输出

我正在使用 CUDD C++,我想知道是否可以执行以下操作:

现在,我将下一张表存储在bdd

如果原始输出的值为 1 x2,是否可以创建另一个具有 2 个输出的表来提取 的值?:x3

期望的输出:

我已经尝试使用该ExistAbastract()命令,并且获得bdds了正确数据的 2,但x2仍然x3是输入。是否可以根据 的值将变量转换为x2输出?x3y

0 投票
2 回答
309 浏览

c - CUDD 包:编译期间未定义的引用

我正在学习用于研究目的的 CUDD 包。我有一个示例代码,我试图从中学习基本功能。但是我在编译过程中遇到错误。

我已经为标题设置了路径。

我在编译过程中遇到了一些错误。

我试图静态链接库,但有问题。我该如何解决?

0 投票
1 回答
158 浏览

binary-decision-diagram - 多输出 BDD 的生成

我正在使用 CUDD 包生成与输入基准文件相对应的 PLA 格式的 BDD。对于具有 3 个输入引脚(例如)和 5 个输出引脚(例如)的基准函数,我得到与 5 个输出相对应的 5 个输出 BDDS。但是,我想为整个基准测试功能生成一个多输出 BDD。有可能吗?....如果是这样,我如何使用 CUDD 包生成多输出 BDD。请帮忙。

0 投票
1 回答
144 浏览

c - CUDD 执行中的分段错误

对于我使用的编译:

程序编译成功。我正在使用cudd3.0.0包。之后,我在执行中遇到了这个分段错误:

在此处输入图像描述

请建议执行此操作的正确方法以及为什么会出现此错误?

我正在添加主要功能:

0 投票
1 回答
218 浏览

binary - 使用 CUDD 的 BDD/ZDD 交集

我有一些组合,我想找出其中两个之间的交集函数。然后我想在 ZDD 中表示相交的结果。

我正在考虑使用CUDD 包来做到这一点。

一个例子:

汉明距离 >= 21100 =的所有 4 位字符串

{ 0001, 0010, 0011,0101, 0110, 0111, 1001, 1010, 1011 }

汉明距离 >= 20000 =的所有 4 位字符串

{ 0011, 0101, 0110, 1001, 1010, 0111, 1011, 1101, 1110 }

集合的相交元素(我想要的):

{0011, 0101, 0110, 1010, 1001 }

据我了解,我需要能够首先表达这些组合集,使用布尔函数,例如( f = abcd )来表示它们相应的 BDD,将它们转换为 ZDD,然后找出交集?有CUDD包经验的人请帮忙。

0 投票
1 回答
230 浏览

binary-decision-diagram - 使用 CUDD/DDDMP 包将 BDD 存储在文件中?

我已经使用 CUDD 包成功创建了 BDD。我还可以使用一些已经构建的工具对其进行可视化。我有兴趣使用 CUDD 的 DDDMP 包将 BDD 存储在文件中。我读到Dddmp_cuddBddStore()正在为我们做这件事。我找不到使用该功能的任何示例。它的论点有点复杂。任何使用该功能的小例子都会有很大帮助。