ksmt-core/io.ksmt.cache/CacheRemoveHandler

CacheRemoveHandler

interface CacheRemoveHandler<K, V>

The onRemove event handler in AstCache.

See AstCache.registerOnDeleteHandler.

Functions

Link copied to clipboard
abstract fun onRemove(key: K?, value: V)