變量是否可以從CUDD管理器中刪除？

Question

任何人都可以請告訴我，是否可以安全地從CUDD中的經理中刪除變量？例如：我通過v1 = Cudd_bddNewVar(manager)註冊了兩個變量;和v2 = Cudd_bddNewVar(manager)。我可以從經理中刪除v2嗎？

Answer 1

我認爲不可能刪除創建的變量。