Подскажите пожалуйста, можно ли безопасно удалить переменные из менеджера в CUDD? Например: я регистрирую две переменные по v1 = Cudd_bddNewVar(manager) ; и v2 = Cudd_bddNewVar(manager) . Могу ли я удалить v2 из менеджера?

Я хотел бы "портировать" этот проект C++ , который использует qmake (т. е. Tool.pro ) для сборки, в cmake . По сути, я спрашиваю, как написать необходимые файлы CMakeLists.txt , взглянув на файл Tool.pro выше. Вот что я сделал до сих...

Я использую библиотеку CUDD на C для создания бинарных диаграмм решений. Мне было интересно, есть ли способ преобразовать логическое выражение, заданное в виде строки, в двоичную диаграмму принятия решений. Благодарю вас!

Я пытаюсь построить BDD для монотонного умножения, и мне нужно использовать отрицание входных битов. Я использую следующий код: DdNode *x[N], *y[N], *nx[N], *ny[N]; gbm = Cudd_Init(0,0,CUDD_UNIQUE_SLOTS,CUDD_CACHE_SLOTS,0); /* Initialize a new...

Я изучаю пакет CUDD для исследовательских целей. У меня есть один пример кода, из которого я пытался изучить основные функции. Но я получаю ошибку во время компиляции. Я уже установил пути для заголовка. #include <sys/types.h> #include...

Я пытаюсь найти общее количество узлов в Shared-BDD, используя CUDD. Я уже написал код C, используя BuDDy-2.4, и он работает нормально. Но когда я использую CUDD вместо BuDDy, Моя программа показывает ошибку. Мой файл BuDDY C: //BuDDY_C...