refactor smt-cache

[jxnu-liguobin]

No description provided.

[codecov]

Codecov Report

Merging #212 (4f68d35) into master (a001175) will decrease coverage by 0.33%.
The diff coverage is 70.00%.

@@            Coverage Diff             @@
##           master     #212      +/-   ##
==========================================
- Coverage   89.34%   89.01%   -0.34%     
==========================================
  Files          51       52       +1     
  Lines         779      801      +22     
  Branches       45       49       +4     
==========================================
+ Hits          696      713      +17     
- Misses         83       88       +5     

Impacted Files	Coverage Δ
.../main/scala/org/bitlap/cache/CacheKeyBuilder.scala	53.84% <25.00%> (ø)
...-cache/src/main/scala/org/bitlap/cache/Cache.scala	80.00% <50.00%> (+2.22%)	⬆️
...src/main/scala/org/bitlap/cache/GenericCache.scala	66.66% <63.15%> (-10.61%)	⬇️
...src/main/scala/org/bitlap/cache/CacheAdapter.scala	93.33% <93.33%> (ø)