C++ (Cpp) has_term_ite Beispiele

Beispiel #1

Datei: probe_arith.cpp Projekt: 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);
}

Beispiel #2

Datei: smt_formula_compiler.cpp Projekt: 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();
     }
 }