binary-decision-diagram - 可以从 CUDD 管理器中删除变量吗？

Question

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

Answer 1

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