parameters: (self)
return_statement: return Statistics(Z3_fixedpoint_get_statistics(self.ctx.ref(), self.fixedpoint), self.ctx)
docstring: Return statistics for the last `query()`.
docstring_summary: Return statistics for the last `query()`.
docstring_tokens: Return statistics for the last query () .
function: def statistics(self):
          """Return statistics for the last `query()`.
          """
          return Statistics(Z3_fixedpoint_get_statistics(self.ctx.ref(), self.fixedpoint), self.ctx)
function_tokens: def statistics ( self ) : return Statistics ( Z3_fixedpoint_get_statistics ( self . ctx . ref ( ) , self . fixedpoint ) , self . ctx )