getStatistics method

Stats getStatistics()

Gets statistics (timing, memory consumption, etc) collected of the last call to query.

Implementation

Stats getStatistics() {
  return _c._getStats(_c._z3.fixedpoint_get_statistics(_fp));
}