Searched refs:num_solves_by_status_ (Results 1 – 2 of 2) sorted by relevance
543 std::vector<int64_t> num_solves_by_status_; variable
656 if (status_as_int >= num_solves_by_status_.size()) { in SolveLp()657 num_solves_by_status_.resize(status_as_int + 1); in SolveLp()660 num_solves_by_status_[status_as_int]++; in SolveLp()2903 for (int i = 0; i < num_solves_by_status_.size(); ++i) { in Statistics()2904 if (num_solves_by_status_[i] == 0) continue; in Statistics()2907 num_solves_by_status_[i], "\n"); in Statistics()