个人中心
文章发布
退出
作者热门文章
- html - 出于某种原因，IE8 对我的 Sass 文件中继承的 html5 CSS 不友好？
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景？
24
4
我正在尝试将 CUDD 的变量排序启发式方法用于另一个程序。我创建了一个 BDD，尝试了一些变量排序以查看哪个最小化了大小，现在我想提取变量排序。我该怎么做？
根据 this answer ，dd python 包为您提供了一种检查每个变量级别的方法，但我没有在 C/C++ 接口(interface)中看到相应的函数。那个 python 绑定(bind)是如何实现的？是否需要通过 cuddInt.h 访问 CUDD 内部？
最佳答案
啊，我应该看过dd的源代码。答案很简单:使用 Cudd_ReadPerm。
关于c++ - Cudd:提取变量排序，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/47546965/
24
4
0
对于编译我使用: 1) ./configure --enable-dddmp --enable-obj --enable-shared --enable-static; make 2)
我正在尝试将 CUDD 的变量排序启发式方法用于另一个程序。我创建了一个 BDD，尝试了一些变量排序以查看哪个最小化了大小，现在我想提取变量排序。我该怎么做？ 根据 this answer ，dd p
我正在使用 CUDD C++ 接口(interface) ( https://github.com/ivmai/cudd )，但几乎没有关于这个库的信息。我想知道如何根据它的值删除一个变量。 例如，我
我正在使用 CUDD C++ 接口(interface) ( https://github.com/ivmai/cudd )，但几乎没有关于这个库的信息。我想知道如何根据它的值删除一个变量。 例如，我
我正在研究二元决策图的变量排序。到目前为止，我们一直使用不可逆电路。但并不是我们需要使用可逆基准来实现某些方法。但我没有任何方法使用 C 语言中的 CUDD 库来读取基准文件(例如 blif、kiss
我正在使用 CUDD (https://github.com/ivmai/cudd) 使用 bdd 和 zdd 功能进行模型检查，我想知道如何量化 zdds。 对于 bdd，有 bddExistAbs
我正在使用 CUDD C++ 接口(interface)。 我找不到太多关于这个库的信息。 如何获得 BDD 的两个 child ？ 例如: Cudd mgr; BDD x = mgr.bddVar(
我正在尝试运行一个简单的程序来学习如何使用 CUDD 包版本 3.0.0。我下载并安装了软件包:( 1- ./configure 2- make 3- make check)。 我创建了以下简单程序:
我正在使用 C 上的 CUDD 库制作二元决策图。我想知道是否有某种方法可以将以字符串形式给出的 bool 表达式转换为二元决策图。 谢谢! 最佳答案 有几个项目已经包含将字符串解析为 BDD 的功能
是否有可能获得 (x0 ∧ x1 ) ∨ (x0 ∧!x1 ) ∨ (!x0 ∧ x1 ) ∨ (!x 0 ∧!x 1 ) 的 bdd 仍然具有表示变量 x0 和 x1 的节点, 使用 CUDD？我知
我正在尝试将 BLIF 文件导入 CUDD 包，从中创建 BDD，然后执行一些操作。我已经设法使用 ntr 包导入 BLIF 文件。但是，我无法弄清楚我应该如何访问生成的 BDD 中的任何变量或节点。
我正在与 ( https://github.com/ivmai/cudd) 合作，目标是执行以下重复过程: (1)输入:(相干，非递减) bool 函数表达式顶部 = a_1a_2a_3...+ x_
我是一名优秀的程序员,十分优秀！