Method: Z3::LowLevel.optimize_get_help

Defined in:: lib/z3/low_level_auto.rb

.optimize_get_help(optimize) ⇒ `Object`

> :string



1744
1745
1746

# File 'lib/z3/low_level_auto.rb', line 1744

def optimize_get_help(optimize) #=> :string
  VeryLowLevel.Z3_optimize_get_help(_ctx_pointer, optimize._optimize)
end