2

Could anyone please tell me that is it possible to safely remove variables from the manager in CUDD? For example: I register two variable by v1 = Cudd_bddNewVar(manager); and v2 = Cudd_bddNewVar(manager). Can I remove v2 from the manager?

0 _
  • 10,524
  • 11
  • 77
  • 109
Trúc Nguyễn Lâm
  • 371
  • 2
  • 9

1 Answers1

1

I think that it's not possible to remove a created variable.

Lorenzo
  • 1,037
  • 15
  • 27