ksmt-core/io.ksmt.expr/KBvRotateRightIndexedExpr

KBvRotateRightIndexedExpr

Rotate right.

Rotates bits of the value to the right rotationNumber times.

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>