C++ (Cpp) dec_ref_map_keys示例

示例#1

文件： expr2subpaving.cpp 项目： CHolmes3/z3

 void reset_cache() {
     dec_ref_map_keys(m(), m_cache);
     m_cached_vars.reset();
     m_cached_numerators.reset();
     m_cached_denominators.reset();
     dec_ref_map_key_values(m(), s(), m_lit_cache);
 }

示例#2

文件： grobner.cpp 项目： jackluo923/juxta

void grobner::flush() {
    dec_ref_map_keys(m_manager, m_var2weight);
    del_equations(0);
}