CUDD包:传递特定变量顺序的方法? [英] CUDD package : Way to pass a specific variable order?

问题描述

我正在使用CUDD软件包进行BDD操作.我想知道是否有人知道一种传递特定变量顺序的方法，以指示程序在构建BDD时使用此顺序.我正在使用变量数量相对较少的布尔函数.

I am working with the CUDD package to do BDD manipulations. I was wondering if anyone knows of a way to pass a specific variable order to instruct the program to use this order while building BDDs. I am working with Boolean functions that have a relatively small number of variables.

实际上，即使有一种方法可以将特定的输入变量传递给程序，以使BDD成为根目录，这也将达到我的目的.如果有人知道该怎么做，那么我将非常感谢您的帮助.我浏览了文档，但没有找到任何达到此效果的东西.也许我错过了一些事情.

In fact, even if there is a way to pass to the program a particular input variable to root the BDD at, that would serve my purpose as well. If anyone knows how to do this, then I would really appreciate the help. I went through the documentation, and I did not find anything to this effect. Maybe I missed something.

推荐答案

您可以将重排序算法设置为CUDD_REORDER_NONE

You can set the reorder algorithm to CUDD_REORDER_NONE

Cudd_ReduceHeap(manager, CUDD_REORDER_NONE, 0);

通过这种方式，变量的顺序由您引入它们的顺序给出.

In this way the order of the variables is given by the order you introduce them.

这篇关于CUDD包:传递特定变量顺序的方法?的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！