parameters: (self)
return_statement: return self.ctx
docstring: Return a reference to the actual C pointer to the Z3 context.
docstring_summary: Return a reference to the actual C pointer to the Z3 context.
docstring_tokens: Return a reference to the actual C pointer to the Z3 context .
function: def ref(self):
          """Return a reference to the actual C pointer to the Z3 context."""
          return self.ctx
function_tokens: def ref ( self ) : return self . ctx