ksmt-core/io.ksmt.cache/KInternedObject

KInternedObject

interface KInternedObject

An object which can be interned and requires a special implementation of equals and hashCode methods for the interning purposes.

Functions

Link copied to clipboard
abstract fun internEquals(other: Any): Boolean

Any.equals analogue for interning purposes.

Link copied to clipboard
abstract fun internHashCode(): Int

Any.hashCode analogue for interning purposes.

Inheritors

Link copied to clipboard
Link copied to clipboard
Link copied to clipboard