ksmt-core/io.ksmt.cache/ConcurrentNoGcAstInterner

ConcurrentNoGcAstInterner

class ConcurrentNoGcAstInterner<T : KAst, KInternedObject> : AstInterner<T>

Constructors

ConcurrentNoGcAstInterner

fun ConcurrentNoGcAstInterner()

Functions

open override fun intern(ast: T): T

Intern provided ast.