Searched refs:m_max_ite_tree_depth (Results 1 – 6 of 6) sorted by relevance
64 m_max_ite_tree_depth = 0; in reset()505 if (ite_depth >= m_max_ite_tree_depth) in process()506 m_max_ite_tree_depth = ite_depth; in process()616 out << "MAX_ITE_TREE_DEPTH " << m_max_ite_tree_depth << "\n"; in display_primitive()658 out << "MAX_ITE_TREE_DEPTH " << m_max_ite_tree_depth << "\n"; in display()
64 unsigned m_max_ite_tree_depth; member
64 m_max_ite_tree_depth = 0; in reset()491 if (ite_depth >= m_max_ite_tree_depth) in process()492 m_max_ite_tree_depth = ite_depth; in process()602 out << "MAX_ITE_TREE_DEPTH " << m_max_ite_tree_depth << "\n"; in display_primitive()644 out << "MAX_ITE_TREE_DEPTH " << m_max_ite_tree_depth << "\n"; in display()
507 if (st.m_max_ite_tree_depth > 50) { in setup_QF_LIA()
506 if (st.m_max_ite_tree_depth > 50) { in setup_QF_LIA()