binary-decision-diagram - CUDD マネージャーから変数を削除できますか?

Question

CUDD のマネージャーから変数を安全に削除できることを教えてください。v1 = Cudd_bddNewVar(manager)例: ;で 2 つの変数を登録します。とv2 = Cudd_bddNewVar(manager)。v2マネージャーから削除できますか?

Answer 1

作成した変数を削除することはできないと思います。