C++ (Cpp) naive_fixpoint_alg Exemples

Exemple #1

Fichier : contractor_basic.cpp Projet : 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;
}

Exemple #2

Fichier : contractor_basic.cpp Projet : 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;
    }
}

Exemple #3

Fichier : contractor_fixpoint.cpp Projet : 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;
    }
}