0回答
我正在尝试在另一个程序中利用CUDD的变量排序启发式。我已经创建了一个BDD，尝试了几个变量排序，看看哪一个最大，现在我想提取变量排序。我该怎么做呢？根据的说法，dd python包提供了一种检查每个变量级别的方法，但我在C/C++接口中看不到相应的函数。python绑定是如何实现的？是否需要通过cuddInt.h访问CUDD内部
浏览 4提问于2017-11-29得票数 0
我正在使用CUDD软件包来做BDD操作。我想知道是否有人知道传递特定变量顺序的方法，以指示程序在构建BDD时使用此顺序。我正在处理布尔函数，这些函数的变量相对较少。事实上，即使有一种方法传递给程序一个特定的输入变量来根治BDD，这也符合我的目的。如果有人知道怎么做，我会很感激你的帮助。我翻阅了文档，却没有找到任何这样的东西。也许我漏掉了什么。
浏览 4提问于2014-02-24得票数 1
回答已采纳
1回答
下面的代码按照预期工作，给出了图片中的图表(表示节点bdd)：Cudd_Ref(v1);
Cudd_Ref(v2);
Cudd_Ref(v3);
DdNode *tmp1 = Cudd_bddIte(gbm, v1, Cudd_ReadLogi
浏览 4提问于2018-09-15得票数 1
2回答
. */ DdNode *bdd, *var, *tmp_neg, *tmp; bdd = Cudd_ReadOne(gbm); /*Returns the logic= Cudd_Not(var); /*Perform NO
浏览 2提问于2016-04-08得票数 1
回答已采纳
我被困在CUDD (C接口)的BDD上，我不知道在做计算图像时(从一种状态到另一种BDDs状态)是否可以删除一些变量，以及如何将结果BDD (final )传递给所有变量，请告诉我是否可以用CUDD完成这些操作
浏览 4提问于2012-07-03得票数 1
我正在尝试将一个BLIF文件导入到CUDD包中，从中创建一个BDD，然后执行一些操作。我已经设法使用ntr包导入了BLIF文件。但是，我不知道如何访问结果BDD中的任何变量或节点。如果我为一个函数创建了自己的BDD，我就会创建变量，并且能够调用它们来执行不同的操作/操作。但是，对于BLIF导入，我得到的只是结果ddManager (dd)和布尔网络(net1)。有人知道如何调用各个变量/节点吗？请参阅下面的BLIF生成代码。谢谢!NULL;
fp1 = fopen("C17.blif&quo
浏览 3提问于2016-09-15得票数 3
有没有人可以告诉我，在CUDD中安全地删除管理器中的变量是可能的？例如:我通过v1 = Cudd_bddNewVar(manager)和v2 = Cudd_bddNewVar(manager)注册了两个变量。我可以从管理器中删除v2吗？
浏览 8提问于2012-07-05得票数 2
1回答
. */ DdNode *bdd, *var, *tmp_neg, *tmp,*f,*g; bdd = Cudd_ReadOne(gbm);Cudd_bddAnd(gbm, tmp_neg, bdd);
浏览 13提问于2016-08-19得票数 0
2回答
假设DdManager有四个变量：x, y, x', y'和我有一个由x和y构建的BDD。现在，我想将x更改为x'，将y更改为y'，即获得由x'和y'构建的相同的BDD。我怎么才能用CUDD包得到这个？当我想实现一个模型检查算法时，我遇到了这个问题。我想知道如何实现这个操作，或者我是否误解了符号模型检查算法？非常感谢!
浏览 0提问于2017-02-24得票数 2
回答已采纳
有没有人有使用CUDD (不要与CUDA混淆)来操作BDD的经验，知道为什么我总是得到可怕的“分段错误(转储核心)”。我怀疑这可能与引用解除引用有关，我承认我并不完全理解。如有任何提示，敬请指点。(0, 0, CUDD_UNIQUE_SLOTS, CUDD_CACHE_SLOTS, 0); /* Initialize a new BDD manager with defaults. */boolean operation*/
/*Cudd_RecursiveDeref
浏览 3提问于2020-07-01得票数 0
1回答
我正在研究二元决策图的变量排序。到目前为止，我们已经使用了不可逆电路。但我们不需要使用可逆基准来实现某些方法。但是我无法读取基准测试文件(例如：blif，kiss，slif文件)使用C语言的CUDD库。我已经在internet.Somebody上寻找了可用的资源，请帮我找出方法。
浏览 5提问于2017-10-28得票数 0
朱莉娅有一个名为CUDD_jll的二进制决策图包，可从JuliaHub获得。该软件包能够在Apple M1体系结构上安装和编译。但是，来自旧包CUDD的用户界面似乎与CUDD_jll不兼容。有没有人会分享这样的信息？
浏览 12提问于2022-10-21得票数 2
2回答
我在C上使用CUDD库来制作二元决策图。我想知道是否有某种方法可以将以字符串形式给出的布尔表达式转换为二元决策图。
谢谢!
浏览 4提问于2015-07-11得票数 1
2回答
x1 )，使用CUDD表示变量x0和x1的节点？我知道上面的布尔公式简化为常数函数1，但我仍然想要一个BDD，它不简化公式，而是表示为包含x0和x1的节点的BDD‘。如果不是在CUDD中，是否可以使用其他工具这样做？
浏览 3提问于2018-06-04得票数 2
回答已采纳
我还发现了如何使用优秀的郁金香-dd Py界面来实现它，但无法像cudd那样进行扩展。
/* (1-2) Declare the vars and build t
浏览 8提问于2020-07-16得票数 3
1回答
从可用的数据结构生成二进制决策图
、、、、
这个问题有点长，请原谅我。{0 0 0 0 0, 0 0 0 1 0, 1 1 1 1 0,.....}我看到了这个，但是这里所有的答案都假设布尔函数是给定的，这不是真的。专家有什么建议吗？我相信在这方面已经做了很多工作。
浏览 7提问于2020-04-22得票数 2
1回答
高效创建结构化二元决策图
、、、、
我有一个一维的布尔变量序列x_i，例如x_1，x_2，x_3，x_4，x_5。如果没有孤立的1或0(可能的边缘除外)，我的条件就满足了。 我已经使用pyeda实现了这一点，如下所示。
浏览 25提问于2021-01-06得票数 1
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
云直播
对象存储
实时音视频活动推荐
腾讯云开发者
