KExprLongConverterBase

abstract class KExprLongConverterBase

Specialized version of KExprConverterBase for Long native expressions.

Constructors

Link copied to clipboard

Functions

Link copied to clipboard
inline fun <T : KSort> convert(op: () -> KExpr<T>): ExprConversionResult
inline fun <S : KSort, A0 : KSort> Long.convert(args: LongArray, op: (KExpr<A0>) -> KExpr<S>): ExprConversionResult
inline fun <S : KSort, A0 : KSort, A1 : KSort> Long.convert(args: LongArray, op: (KExpr<A0>, KExpr<A1>) -> KExpr<S>): ExprConversionResult
inline fun <S : KSort, A0 : KSort, A1 : KSort, A2 : KSort> Long.convert(args: LongArray, op: (KExpr<A0>, KExpr<A1>, KExpr<A2>) -> KExpr<S>): ExprConversionResult
inline fun <S : KSort, A0 : KSort, A1 : KSort, A2 : KSort, A3 : KSort> Long.convert(args: LongArray, op: (KExpr<A0>, KExpr<A1>, KExpr<A2>, KExpr<A3>) -> KExpr<S>): ExprConversionResult
Link copied to clipboard
fun <S : KSort> convertFromNative(native: Long): KExpr<S>
Link copied to clipboard
inline fun <S : KSort, A : KSort> Long.convertList(args: LongArray, op: (List<KExpr<A>>) -> KExpr<S>): ExprConversionResult
Link copied to clipboard
Link copied to clipboard
inline fun <S : KSort> Long.convertReduced(args: LongArray, op: (KExpr<S>, KExpr<S>) -> KExpr<S>): ExprConversionResult
Link copied to clipboard
fun ensureArgsConvertedAndConvert(expr: Long, args: LongArray, expectedSize: Int): List<KExpr<*>>?

Ensure all expression arguments are already converted. Return converted arguments or null if not all arguments converted.

inline fun ensureArgsConvertedAndConvert(expr: Long, args: LongArray, expectedSize: Int, converter: (List<KExpr<*>>) -> KExpr<*>): ExprConversionResult

Ensure all expression arguments are already converted. If not so, argumentsConversionRequired is returned.

Link copied to clipboard
abstract fun findConvertedNative(expr: Long): KExpr<*>?
Link copied to clipboard
abstract fun saveConvertedNative(native: Long, converted: KExpr<*>)

Properties

Link copied to clipboard
val exprStack: LongArrayList