src/opt/opt_pareto.cpp
// ---------------------------------
// OIA algorithm (without filtering)
OIA algorithm (without filtering)
OIA algorithm ( without filtering )
lbool oia_pareto::operator()() {
        solver::scoped_push _s(*m_solver.get());
        lbool is_sat = m_solver->check_sat(0, nullptr);
        if (m.canceled()) {
            is_sat = l_undef;
        }
        if (is_sat == l_true) {
            m_solver->get_model(m_model);
            m_solver->get_labels(m_labels);
            m_model->set_model_completion(true);
            mk_not_dominated_by();
        }
        return is_sat;
    }
lbool oia_pareto :: operator () ( ) { solver :: scoped_push _s ( * m_solver . get ( ) ) ; lbool is_sat = m_solver -> check_sat ( 0 , nullptr ) ; if ( m . canceled ( ) ) { is_sat = l_undef ; } if ( is_sat == l_true ) { m_solver -> get_model ( m_model ) ; m_solver -> get_labels ( m_labels ) ; m_model -> set_model_completion ( true ) ; mk_not_dominated_by ( ) ; } return is_sat ; }
OIA algorithm (without filtering)
OIA algorithm ( without filtering )