Method: Z3::LowLevel.get_func_decl_id

Defined in:
lib/z3/low_level_auto.rb

.get_func_decl_id(func_decl) ⇒ Object

> :uint



576
577
578
 
# File 'lib/z3/low_level_auto.rb', line 576

def get_func_decl_id(func_decl) #=> :uint
  VeryLowLevel.Z3_get_func_decl_id(_ctx_pointer, func_decl._ast)
end