【发布时间】：2017-10-15 11:33:33
【问题描述】：
谁能告诉我是否可以安全地从 CUDD 的管理器中删除变量？例如：我通过v1 = Cudd_bddNewVar(manager)注册了两个变量；和v2 = Cudd_bddNewVar(manager)。我可以从经理中删除v2 吗？
【问题讨论】：
-
删除变量的动机是什么？
标签： binary-decision-diagram cudd
【发布时间】：2017-10-15 11:33:33
【问题描述】：
我认为不可能删除已创建的变量。
【讨论】：