Esempi in C++ (Cpp) per dictionary::reset

Esempio n. 1

File: gparams.cpp Progetto: levnach/z3

 void reset() {
     #pragma omp critical (gparams)
     {
         m_params.reset();
         for (auto & kv : m_module_params) {
             dealloc(kv.m_value);
         }
         m_module_params.reset();
     }
 }