Searched refs:m_num_bool_constants (Results 1 – 6 of 6) sorted by relevance
56 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()
56 unsigned m_num_bool_constants; // member
56 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()
304 …rams.m_arith_auto_config_simplex || st.m_num_uninterpreted_constants > 4 * st.m_num_bool_constants in setup_QF_RDL()
303 …rams.m_arith_auto_config_simplex || st.m_num_uninterpreted_constants > 4 * st.m_num_bool_constants in setup_QF_RDL()