Home
last modified time | relevance | path

Searched refs:m_reorder_lim (Results 1 – 4 of 4) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/sat/
H A Dsat_solver.h163 unsigned m_reorder_lim; variable
H A Dsat_solver.cpp1931 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()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/sat/
H A Dsat_solver.h155 unsigned m_reorder_lim; variable
H A Dsat_solver.cpp1898 m_reorder_lim = m_config.m_reorder_base;
2949 return m_conflicts_since_init > m_reorder_lim;
2994 m_reorder_lim += m_reorder_inc;