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

Question

有没有人可以告诉我，在CUDD中安全地删除管理器中的变量是可能的？例如:我通过v1 = Cudd_bddNewVar(manager)和v2 = Cudd_bddNewVar(manager)注册了两个变量。我可以从管理器中删除v2吗？

Answer 1

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