Method: Cudd::Interface::BDD#bdd2cube

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

#bdd2cube(bdd) ⇒ Object

See Also:

  • Cudd_BddToCubeArray


245
246
247
248
249
250
251
252
253
254
 
# File 'lib/cudd-rb/interfaces/bdd.rb', line 245

def bdd2cube(bdd)
  s = size
  with_ffi_pointer(:int, s) do |ptr|
    if Wrapper.BddToCubeArray(native_manager, bdd, ptr)==1
      ptr.read_array_of_int(s)
    else
      raise NotACubeError
    end
  end
end