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

ensureArgsConvertedAndConvert

fun ensureArgsConvertedAndConvert(expr: T, args: Array<T>, 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: T, args: Array<T>, expectedSize: Int, converter: (List<KExpr<*>>) -> KExpr<*>): ExprConversionResult

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