C++ (Cpp) has_term_iteの例

コード例 #1

ファイル: probe_arith.cpp プロジェクト: jackluo923/juxta

static bool is_mip(goal const & g) {
    if (!is_qflira(g))
        return false;
    if (has_term_ite(g))
        return false;
    return is_lp(g);
}

コード例 #2

ファイル: smt_formula_compiler.cpp プロジェクト: sukwon0709/byterun

 void formula_compiler::elim_term_ite() {
     if (has_term_ite(s.m_assertions)) {
         model_converter_ref mc;
         m_elim_ite(s.m_assertions, mc);
         s.m_mc = concat(s.m_mc.get(), mc.get());
         m_elim_ite.cleanup();
     }
 }