ksmt-core/io.ksmt.cache/ConcurrentGcAstInterner

ConcurrentGcAstInterner

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

Constructors

ConcurrentGcAstInterner

fun ConcurrentGcAstInterner()

Functions

open override fun intern(ast: T): T

Intern provided ast.