Searched refs:m_reorder_lim (Results 1 – 4 of 4) sorted by relevance
163 unsigned m_reorder_lim; variable
1931 m_reorder_lim = m_config.m_reorder_base; in init_search()2989 return m_conflicts_since_init > m_reorder_lim; in should_reorder()3034 m_reorder_lim += m_reorder_inc; in do_reorder()
155 unsigned m_reorder_lim; variable
1898 m_reorder_lim = m_config.m_reorder_base;2949 return m_conflicts_since_init > m_reorder_lim;2994 m_reorder_lim += m_reorder_inc;