C++ (Cpp) cache_map::clear Exemples

Exemple #1

Fichier : CachingSolver.cpp Projet : nguyenquocbinh/klee

 ~CachingSolver() { cache.clear(); unsat_core_store.clear(); delete solver; }

Exemple #2

Fichier : CachingSolver.cpp Projet : BovInspector/project

 ~CachingSolver() { cache.clear(); delete solver; }

Exemple #3

Fichier : lru_impl.hpp Projet : chenyu2202863/smart_cpp_lib

			// 清空所有数据
			void clear()
			{
				list_.clear();
				map_.clear();
			}