ksmt-core/io.ksmt.expr/KBvArithShiftRightExpr

KBvArithShiftRightExpr

Arithmetic shift right.

It is like logical shift right except that the most significant bits of the result always copy the most significant bit of the second argument.

Functions

open override fun accept(transformer: KTransformerBase): KExpr<S>

fun ~~decl~~(): KDecl<S>

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

open override fun hashCode(): Int

open override fun internEquals(other: Any): Boolean

Any.equals analogue for interning purposes.

open override fun internHashCode(): Int

Any.hashCode analogue for interning purposes.

open override fun print(printer: ExpressionPrinter)

open override fun print(builder: StringBuilder)

open override fun toString(): String

open override val args: List<KExpr<S>>

open override val decl: KDecl<S>

open override val sort: S

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