ksmt-core/io.ksmt.solver.util/KExprLongConverterBase/ensureArgsConvertedAndConvert

ensureArgsConvertedAndConvert

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.