getStatistics method

Stats getStatistics()

Implementation

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