Improve caching by replacing use of Pair throughout

gts-morpher / gts_morpher

Tool for building GTS Morphisms and Amalgamations

MIT License

4 stars 0 forks source link

Improve caching by replacing use of Pair throughout #41

Closed szschaler closed 1 year ago

szschaler commented 4 years ago

I frequently use Pair as the key for a cache or similar lookup. Unfortunately, Pair doesn't actually implement hashCode and equals in a useful manner, so doesn't really work as a cache key. Need to replace with proper objects.