ksmt-core/io.ksmt.cache.weak

Package-level declarations

Types

ConcurrentWeakCache

class ConcurrentWeakCache<K : KInternedObject, V : Any> : ConcurrentWeakHashMapCache<K, V>

ConcurrentWeakHashMapCache

abstract class ConcurrentWeakHashMapCache<K : Any, V : Any>

ConcurrentWeakInterner

class ConcurrentWeakInterner<T : KInternedObject> : ConcurrentWeakHashMapCache<T, Any>

class WeakCache<K : KInternedObject, V : Any> : WeakHashMapCache<K, V>

WeakHashMapCache

abstract class WeakHashMapCache<K : Any, V : Any>

class WeakInterner<T : KInternedObject> : WeakHashMapCache<T, Any>