Esempi in C++ (Cpp) per pdecl_manager::del_inst_cache

Esempio n. 1

File: pdecl.cpp Progetto: sukwon0709/byterun

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

Esempio n. 2

File: pdecl.cpp Progetto: chadbrewbaker/z3

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