예제 #1
0
 ~CachingSolver() { cache.clear(); unsat_core_store.clear(); delete solver; }
예제 #2
0
 ~CachingSolver() { cache.clear(); delete solver; }
예제 #3
0
			// 清空所有数据
			void clear()
			{
				list_.clear();
				map_.clear();
			}