ksmt-core/io.ksmt.solver.util/transform

transform

inline fun <S : KExpr<*>, T> S.transform(operation: () -> T, saveInternalized: (KExpr<*>, T) -> Unit): S
inline fun <S : KExpr<*>, T> S.transform(exprStack: MutableList<KExpr<*>>, arg: KExpr<*>, operation: (T) -> T, notInternalized: T, findInternalized: (KExpr<*>) -> T, saveInternalized: (KExpr<*>, T) -> Unit): S
inline fun <S : KExpr<*>, T> S.transform(exprStack: MutableList<KExpr<*>>, arg0: KExpr<*>, arg1: KExpr<*>, operation: (T, T) -> T, notInternalized: T, findInternalized: (KExpr<*>) -> T, saveInternalized: (KExpr<*>, T) -> Unit): S
inline fun <S : KExpr<*>, T> S.transform(exprStack: MutableList<KExpr<*>>, arg0: KExpr<*>, arg1: KExpr<*>, arg2: KExpr<*>, operation: (T, T, T) -> T, notInternalized: T, findInternalized: (KExpr<*>) -> T, saveInternalized: (KExpr<*>, T) -> Unit): S
inline fun <S : KExpr<*>, T> S.transform(exprStack: MutableList<KExpr<*>>, arg0: KExpr<*>, arg1: KExpr<*>, arg2: KExpr<*>, arg3: KExpr<*>, operation: (T, T, T, T) -> T, notInternalized: T, findInternalized: (KExpr<*>) -> T, saveInternalized: (KExpr<*>, T) -> Unit): S