C++ (Cpp) pdecl_manager::del_inst_cacheの例

コード例 #1

ファイル: pdecl.cpp プロジェクト: sukwon0709/byterun

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

コード例 #2

ファイル: pdecl.cpp プロジェクト: chadbrewbaker/z3

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