Searched refs:found_ (Results 1 – 1 of 1) sorted by relevance
56 long found_; field in Stats76 found_ = 0; in Stats()87 found_ += other.found_; in merge()400 stats_.found_++; in runTask()423 stats_.found_++; in runTask()804 extra = String.format(" %d / %d found; ", stats.found_, stats.done_); in stop()