Home
last modified time | relevance | path

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

/dports/math/z3/z3-z3-4.8.13/src/ast/
H A Dstatic_features.cpp56 m_num_bool_constants = 0; in reset()
224 m_num_bool_constants++; in update_core()
608 out << "NUM_BOOL_CONSTANTS " << m_num_bool_constants << "\n"; in display_primitive()
667 …BOOL_CONSTANTS " << (m_num_uninterpreted_constants > 0 ? (double) m_num_bool_constants / (double) … in display()
H A Dstatic_features.h56 unsigned m_num_bool_constants; // member
/dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/
H A Dstatic_features.cpp56 m_num_bool_constants = 0; in reset()
224 m_num_bool_constants++; in update_core()
594 out << "NUM_BOOL_CONSTANTS " << m_num_bool_constants << "\n"; in display_primitive()
653 …BOOL_CONSTANTS " << (m_num_uninterpreted_constants > 0 ? (double) m_num_bool_constants / (double) … in display()
H A Dstatic_features.h56 unsigned m_num_bool_constants; // member
/dports/math/z3/z3-z3-4.8.13/src/smt/
H A Dsmt_setup.cpp304 …rams.m_arith_auto_config_simplex || st.m_num_uninterpreted_constants > 4 * st.m_num_bool_constants in setup_QF_RDL()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/smt/
H A Dsmt_setup.cpp303 …rams.m_arith_auto_config_simplex || st.m_num_uninterpreted_constants > 4 * st.m_num_bool_constants in setup_QF_RDL()