Method: Cudd::Interface::BDD#eval

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

#eval(f, cube) ⇒ Object

See Also:

  • Cudd_Eval


272
273
274
275
276
277
 
# File 'lib/cudd-rb/interfaces/bdd.rb', line 272

def eval(f, cube)
  with_ffi_pointer(:int, size) do |ptr|
    ptr.write_array_of_int(cube(cube, :a012))
    bdd Wrapper.Eval(native_manager, f, ptr)
  end
end