C++ (Cpp) dec_ref_map_values Exemples

Exemple #1

Fichier : theory_fpa.cpp Projet : pazz/z3

 theory_fpa::~theory_fpa()
 {
     ast_manager & m = get_manager();
     dec_ref_map_values(m, m_conversions);
     dec_ref_map_values(m, m_wraps);
     dec_ref_map_values(m, m_unwraps);
 }

Exemple #2

Fichier : macro_substitution.cpp Projet : chadbrewbaker/z3

void macro_substitution::reset() {
    dec_ref_map_key_values(m_manager, m_decl2macro);
    if (proofs_enabled())
        dec_ref_map_values(m_manager, *m_decl2macro_pr);
    if (unsat_core_enabled())
        dec_ref_map_values(m_manager, *m_decl2macro_dep);
}

Exemple #3

Fichier : expr_substitution.cpp Projet : therealoneisneo/Z3

void expr_substitution::reset() {
    dec_ref_map_key_values(m_manager, m_subst);
    if (proofs_enabled())
        dec_ref_map_values(m_manager, *m_subst_pr);
    if (unsat_core_enabled())
        dec_ref_map_values(m_manager, *m_subst_dep);
}

Exemple #4

Fichier : theory_fpa.cpp Projet : killbug2004/Snippets

    theory_fpa::~theory_fpa()
    {
        if (m_is_initialized) {
            ast_manager & m = get_manager();
            dec_ref_map_values(m, m_conversions);
            dec_ref_map_values(m, m_wraps);
            dec_ref_map_values(m, m_unwraps);
        }
        else {
            SASSERT(m_conversions.empty());
            SASSERT(m_wraps.empty());
            SASSERT(m_unwraps.empty());
        }

        m_is_initialized = false;
    }