Method: Cudd::Interface::BDD#support

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

#support(bdd) ⇒ Object

See Also:

  • Cudd_Support


176
177
178
 
# File 'lib/cudd-rb/interfaces/bdd.rb', line 176

def support(bdd)
  Wrapper.Support(native_manager, bdd)
end