ksmt-core/io.ksmt.cache/AstInterner

AstInterner

interface AstInterner<T : KAst, KInternedObject>

Interner for KAst. Ensures that if any two objects are equals according to KInternedObject.internEquals, they are equal by reference (actually the same object).

See mkAstInterner for interner creation.

Functions

intern

abstract fun intern(ast: T): T

Intern provided ast.

Inheritors

ConcurrentGcAstInterner

SingleThreadGcAstInterner

SingleThreadNoGcAstInterner

ConcurrentNoGcAstInterner