可以从CUDD管理器中删除变量吗？

Question

有人可以告诉我，可以安全地从CUDD中的经理中删除变量吗？例如：我通过v1 = Cudd_bddNewVar(manager)注册两个变量;和v2 = Cudd_bddNewVar(manager)。我可以从经理中删除v2吗？

Answer 1

我认为删除创建的变量是不可能的。