parameters: (self)
return_statement: return AstVector(Z3_solver_get_units(self.ctx.ref(), self.solver), self.ctx)
docstring: Return an AST vector containing all currently inferred units.
docstring_summary: Return an AST vector containing all currently inferred units.
docstring_tokens: Return an AST vector containing all currently inferred units .
function: def units(self):
          """Return an AST vector containing all currently inferred units.
          """
          return AstVector(Z3_solver_get_units(self.ctx.ref(), self.solver), self.ctx)
function_tokens: def units ( self ) : return AstVector ( Z3_solver_get_units ( self . ctx . ref ( ) , self . solver ) , self . ctx )