예제 #1
0
void psort::finalize(pdecl_manager & m) {
    m.del_inst_cache(m_inst_cache);
    m_inst_cache = 0;
}
예제 #2
0
파일: pdecl.cpp 프로젝트: chadbrewbaker/z3 
void psort::reset_cache(pdecl_manager& m) {
    m.del_inst_cache(m_inst_cache);
    m_inst_cache = nullptr;
}