Esempi in C++ (Cpp) per dec_ref_map_keys

Esempio n. 1

File: expr2subpaving.cpp Progetto: 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);
 }

Esempio n. 2

File: grobner.cpp Progetto: jackluo923/juxta

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