C++ (Cpp) pdecl_manager::del_inst_cache Beispiele

Beispiel #1

Datei: pdecl.cpp Projekt: sukwon0709/byterun

void psort::finalize(pdecl_manager & m) {
    m.del_inst_cache(m_inst_cache);
    m_inst_cache = 0;
}

Beispiel #2

Datei: pdecl.cpp Projekt: chadbrewbaker/z3

void psort::reset_cache(pdecl_manager& m) {
    m.del_inst_cache(m_inst_cache);
    m_inst_cache = nullptr;
}