Подскажите пожалуйста, можно ли безопасно удалить переменные из менеджера в CUDD? Например: я регистрирую две переменные по v1 = Cudd_bddNewVar(manager); и v2 = Cudd_bddNewVar(manager). Могу ли я удалить v2 из менеджера?
Можно ли удалить переменные из менеджера CUDD?
comment
Какова мотивация удаления переменной?
- person Ioannis Filippidis schedule 15.10.2017
Ответы (1)
Я думаю, что невозможно удалить созданную переменную.
person
Lorenzo
schedule
10.07.2012
