public function elapsed_time() { return $this->query_result->getQueryTime(); }
public function search_results() { return $this->query_result->getResults(); }
public function elapsed_time() { return $this->query_result->getQueryTime(); }
public function search_results() { return $this->query_result->getResults(); }