ksmt-core/io.ksmt.cache/SingleThreadNoGcAstInterner

SingleThreadNoGcAstInterner

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

Constructors

Link copied to clipboard

Functions

Link copied to clipboard
open override fun intern(ast: T): T

Intern provided ast.