Home
last modified time | relevance | path

Searched refs:m_max_ite_tree_depth (Results 1 – 6 of 6) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/ast/
H A Dstatic_features.cpp64 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()
H A Dstatic_features.h64 unsigned m_max_ite_tree_depth; member
/dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/
H A Dstatic_features.cpp64 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()
H A Dstatic_features.h64 unsigned m_max_ite_tree_depth; member
/dports/math/z3/z3-z3-4.8.13/src/smt/
H A Dsmt_setup.cpp507 if (st.m_max_ite_tree_depth > 50) { in setup_QF_LIA()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/smt/
H A Dsmt_setup.cpp506 if (st.m_max_ite_tree_depth > 50) { in setup_QF_LIA()