Method: Cudd::Interface::BDD#deref

Defined in:
lib/cudd-rb/interfaces/bdd.rb

#deref(f, recursive = true) ⇒ Object

Uses Cudd_RecursiveDeref if recursive is true (defauts), decreasing reference counts of all children of f. Uses Cudd_Deref otherwise (use only if your are sure).

See Also:

  • Cudd_RecursiveDeref


34
35
36
37
 
# File 'lib/cudd-rb/interfaces/bdd.rb', line 34

def deref(f, recursive = true)
  recursive ? Wrapper.RecursiveDeref(native_manager, f) : Wrapper.Deref(f)
  f
end