parameters: (self)
return_statement: return Z3_get_numeral_string(self.ctx_ref(), self.as_ast())
docstring: Return a Z3 rational numeral as a Python string.
  
          >>> v = Q(3,6)
          >>> v.as_string()
          '1/2'
docstring_summary: Return a Z3 rational numeral as a Python string.
docstring_tokens: Return a Z3 rational numeral as a Python string .
function: def as_string(self):
          """Return a Z3 rational numeral as a Python string.
  
          >>> v = Q(3,6)
          >>> v.as_string()
          '1/2'
          """
          return Z3_get_numeral_string(self.ctx_ref(), self.as_ast())
function_tokens: def as_string ( self ) : return Z3_get_numeral_string ( self . ctx_ref ( ) , self . as_ast ( ) )