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

Question

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

Answer 1

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