ksmt-core
0.5.23
ksmt-core
/
io.ksmt.cache
/
ConcurrentGcAstCache
/
registerOnDeleteHandler
register
On
Delete
Handler
open
override
fun
registerOnDeleteHandler
(
handler
:
CacheRemoveHandler
<
K
,
V
>
)
Register a handler which is triggered when an entry is removed from the cache.