问题标签 [cudd]

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

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

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

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

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

我正在使用以下代码：

我得到的错误是：

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

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

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

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

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

如果x2 = 0：

如果x2 = 1：

可能吗？

我正在研究 CUDD 包，但在函数 Cudd_DumpDot（下面的第一行）中遇到了 EXC_BAD_ACCESS 错误。发生了什么？

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

现在，我将下一张表存储在bdd：

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

期望的输出：

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

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

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

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

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

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

对于我使用的编译：

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

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

我正在添加主要功能：

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

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

一个例子：

汉明距离 >= 2且1100 =的所有 4 位字符串

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

汉明距离 >= 2且0000 =的所有 4 位字符串

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

集合的相交元素（我想要的）：

{0011, 0101, 0110, 1010, 1001 }

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

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