Searched refs:m_csmodel (Results 1 – 2 of 2) sorted by relevance
96 model_ref m_csmodel; member in maxres472 m_csmodel = nullptr; in process_sat()507 if (m_csmodel) { in update_model()508 m_csmodel->register_decl(to_app(def)->get_decl(), (*m_csmodel)(value)); in update_model()513 …IF_VERBOSE(3, verbose_stream() << "(maxres cs model valid: " << (m_csmodel.get() != nullptr) << " … in process_unsat()529 if (m_csmodel.get() && m_correction_set_size > 0) { in process_unsat()534 …if (m_c.num_objectives() == 1 && m_pivot_on_cs && m_csmodel.get() && m_correction_set_size < core.… in process_unsat()536 get_current_correction_set(m_csmodel.get(), cs); in process_unsat()741 if (!m_csmodel.get() || correction_set_size < m_correction_set_size) { in update_assignment()742 m_csmodel = mdl; in update_assignment()[all …]
109 model_ref m_csmodel; member in maxres490 m_csmodel = nullptr; in process_sat()526 if (m_csmodel) in update_model()527 m_csmodel->register_decl(to_app(def)->get_decl(), (*m_csmodel)(value)); in update_model()533 …IF_VERBOSE(3, verbose_stream() << "(maxres cs model valid: " << (m_csmodel.get() != nullptr) << " … in process_unsat()549 if (m_csmodel.get() && m_correction_set_size > 0) { in process_unsat()554 …if (m_c.num_objectives() == 1 && m_pivot_on_cs && m_csmodel.get() && m_correction_set_size < core.… in process_unsat()556 get_current_correction_set(m_csmodel.get(), cs); in process_unsat()799 if (!m_csmodel.get() || correction_set_size < m_correction_set_size) { in update_assignment()800 m_csmodel = mdl; in update_assignment()[all …]