KExpr Long Converter Base
Specialized version of KExprConverterBase for Long native expressions.
Constructors
Functions
Link copied to clipboard
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
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
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
Link copied to clipboard