ksmt-core/io.ksmt.solver.model/KModelEvaluator/KModelEvaluator

KModelEvaluator

fun KModelEvaluator(ctx: KContext, model: KModel, isComplete: Boolean, quantifiedVars: Set<KDecl<*>> = emptySet())