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

Question

谁能告诉我，是否可以安全地从 CUDD 中的管理器中删除变量？例如：我按v1 = Cudd_bddNewVar(manager)注册两个变量;和v2 = Cudd_bddNewVar(manager).我可以从经理中删除v2吗？

Answer 1

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