C++ (Cpp) reset_dealloc_values Exemples

Exemple #1

Fichier : ufbv_rewriter.cpp Projet : therealoneisneo/Z3

ufbv_rewriter::~ufbv_rewriter() {
    reset_dealloc_values(m_fwd_idx);
    reset_dealloc_values(m_back_idx);
    for (demodulator2lhs_rhs::iterator it = m_demodulator2lhs_rhs.begin(); it != m_demodulator2lhs_rhs.end(); it++) {
        m_manager.dec_ref(it->m_key);
        m_manager.dec_ref(it->m_value.first);
        m_manager.dec_ref(it->m_value.second);
    }
}

Exemple #2

Fichier : dl_context.cpp Projet : angr/angr-z3

 void context::reset() {
     m_trail.reset();
     m_rule_set.reset();
     m_rule_fmls_head = 0;
     m_rule_fmls.reset();
     m_rule_names.reset();
     m_rule_bounds.reset();
     m_argument_var_names.reset();
     m_preds.reset();
     m_preds_by_name.reset();
     reset_dealloc_values(m_sorts);
     m_engine = nullptr;
     m_rel = nullptr;
 }