Method: Z3::LowLevel.get_numeral_string

Defined in:
lib/z3/low_level_auto.rb

.get_numeral_string(ast) ⇒ Object

> :string



604
605
606
 
# File 'lib/z3/low_level_auto.rb', line 604

def get_numeral_string(ast) #=> :string
  VeryLowLevel.Z3_get_numeral_string(_ctx_pointer, ast._ast)
end