KQuantifier

abstract class KQuantifier(ctx: KContext, val body: KExpr<KBoolSort>, val bounds: List<KDecl<*>>) : KExpr<KBoolSort>

Constructors

open operator override fun equals(other: Any?): Boolean

open override fun hashCode(): Int

abstract fun internEquals(other: Any): Boolean

Any.equals analogue for interning purposes.

Any.hashCode analogue for interning purposes.

open override fun print(builder: StringBuilder)

open override fun print(printer: ExpressionPrinter)

open override fun toString(): String

open override val sort: KBoolSort

fun <T : KSort> KExpr<*>.asExpr(sort: T): KExpr<T>