Ejemplos de naive_fixpoint_alg en C++ (Cpp)

Ejemplo n.º 1

Archivo: contractor_basic.cpp Proyecto: kquine/dreal3

box contractor_fixpoint::prune(box old_b, SMTConfig & config) const {
    // TODO(soonhok): worklist_fixpoint still has a problem
    box const & naive_result = naive_fixpoint_alg(old_b, config);
    return naive_result;
    // box const & worklist_result = worklist_fixpoint_alg(old_b, config);
    // return worklist_result;
}

Ejemplo n.º 2

Archivo: contractor_basic.cpp Proyecto: shmarovfedor/dreal3

void contractor_fixpoint::prune(contractor_status & cs) {
    DREAL_LOG_DEBUG << "contractor_fix::prune -- begin";
    if (cs.m_config.nra_worklist_fp) {
        worklist_fixpoint_alg(cs);
        DREAL_LOG_DEBUG << "contractor_fix::prune -- end";
        return;
    } else {
        naive_fixpoint_alg(cs);
        DREAL_LOG_DEBUG << "contractor_fix::prune -- end";
        return;
    }
}

Ejemplo n.º 3

Archivo: contractor_fixpoint.cpp Proyecto: pysmt/dreal3

void contractor_fixpoint::prune(contractor_status & cs) {
    DREAL_LOG_DEBUG << "contractor_fix::prune -- begin";
    if (cs.m_config.nra_worklist_fp) {
        if (m_dep_map.size() == 0) { build_deps_map(); }
        worklist_fixpoint_alg(cs);
        DREAL_LOG_DEBUG << "contractor_fix::prune -- end";
        return;
    } else {
        naive_fixpoint_alg(cs);
        DREAL_LOG_DEBUG << "contractor_fix::prune -- end";
        return;
    }
}