getStats method

Stats getStats()

Implementation

Stats getStats() {
  return _c._getStats(_c._z3.optimize_get_statistics(_optimize));
}