Searched refs:average_time_ (Results 1 – 3 of 3) sorted by relevance
293 alignments_.average_time_ = std::max(alignments_.average_time_,os.str().size()); in computeColumnWidthsForAligment()381 alignments_.average_time_ = std::max(alignments_.average_time_,tmp.str().size()); in computeColumnWidthsForAligment()435 os << std::left << std::setw(alignments_.average_time_); in printLevel()570 os << std::left << std::setw(alignments_.average_time_); in printLevel()
766 std::string::size_type average_time_; member778 average_time_(0), in AlignmentWidths()
306 experiment_results(double average_time_, double stdev_time_) in experiment_results()307 : average_time(average_time_), stdev_time(stdev_time_) {} in experiment_results()