Searched defs:SearchHist (Results 1 – 1 of 1) sorted by relevance
36 struct SearchHist { struct38 uint32_t num_conflicts_this_restart = 0;39 AvgCalc<uint32_t> branchDepthHist; ///< Avg branch depth in current restart40 AvgCalc<uint32_t> branchDepthDeltaHist;42 AvgCalc<uint32_t> backtrackLevelHistLT;43 AvgCalc<uint32_t> trailDepthHistLT;69 uint64_t used = sizeof(SearchHist); in mem_used() argument84 void clear() in clear()103 void reset_glue_hist_size(size_t shortTermHistorySize) in reset_glue_hist_size()113 void setSize(const size_t shortTermHistorySize, const size_t blocking_trail_hist_size) in setSize()[all …]