ksmt-core/io.ksmt.solver.model/KModelImpl/eval

eval

open override fun <T : KSort> eval(expr: KExpr<T>, isComplete: Boolean): KExpr<T>