- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
对于编译我使用:
1) ./configure --enable-dddmp --enable-obj --enable-shared --enable-static; make
2) gcc test.c -o testprogram -I /path/to/cudd-3.0.0/cudd -I /path/to/cudd-3.0.0/util -I /path/to/cudd-3.0.0/ -static -L /path/to/cudd-3.0.0/cudd/.libs/ -lcudd -lm
程序编译成功。我正在使用 cudd3.0.0 包。之后我在执行中收到此段错误:
请建议执行此操作的正确方法以及为什么我会收到此错误?
我正在添加主要功能:
int main (int argc, char *argv[])
{
char filename[30];
DdManager *gbm; /* Global BDD manager. */
gbm = Cudd_Init(0,0,CUDD_UNIQUE_SLOTS,CUDD_CACHE_SLOTS,0); /* Initialize a new BDD manager. */
DdNode *bdd, *var, *tmp_neg, *tmp;
int i;
bdd = Cudd_ReadOne(gbm); /*Returns the logic one constant of the manager*/
Cudd_Ref(bdd); /*Increases the reference count of a node*/
for (i = 3; i >= 0; i--) {
var = Cudd_bddIthVar(gbm,i); /*Create a new BDD variable*/
tmp_neg = Cudd_Not(var); /*Perform NOT boolean operation*/
tmp = Cudd_bddAnd(gbm, tmp_neg, bdd); /*Perform AND boolean operation*/
Cudd_Ref(tmp);
Cudd_RecursiveDeref(gbm,bdd);
bdd = tmp;
}
bdd = Cudd_BddToAdd(gbm, bdd); /*Convert BDD to ADD for display purpose*/
print_dd (gbm, bdd, 2,4); /*Print the dd to standard output*/
sprintf(filename, "./bdd/graph.dot"); /*Write .dot filename to a string*/
write_dd(gbm, bdd, filename); /*Write the resulting cascade dd to a file*/
Cudd_Quit(gbm);
return 0;
}
最佳答案
是的,已经解决了。我没有在代码行的正确位置创建名为“bdd”的文件夹:
sprintf(filename, "./bdd/graph.dot");
现在,它正在执行。抱歉,我认为这是一些概念错误。
关于c - CUDD 执行中的段错误,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/59368157/
对于编译我使用: 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_
我是一名优秀的程序员,十分优秀!