"same"值显示在 ADD 的叶子中

Question

在我的ADD计算中，我经常在叶子中有重复的值。它们应该自动压缩吗？

例如：

-0-0-- 191.452

-0-1-- 191.452

-1-0-- 191.452

-1-1-- 191.452

一种猜测是它们有不同的尾数，但没有显示。但我也有更多尾数的价值观：

---0-0 8.14148

---0-1 9.65706

---1-0 8.14148

---1-1 9.65706

我只能假设隐藏的数字是不同的，所以它们出现在不同的叶子中......

似乎它只显示 6 位数字。我可以更改此设置吗？ 谁能证实我的怀疑？ 多谢。

Answer 1

您可以更改"epsilon"，以确定两个值是否相等。

这应该将 epsilon 值设置为百万分之一：

Cudd_SetEpsilon(manager, 1.0e-6);

默认值在 cuddInt.h 中定义为 1.0e-12：

#define DD_EPSILON  (1.0e-12)

如果我没记错的话，打印发生在内部函数中，ddPrintMintermAux在cuddUtil.c中使用带有%g转换说明符的fprintf。您可以在 CUDD 中更改该代码并重建它以更高精度打印数字。