ksmt-core/io.ksmt.solver/KSolverConfiguration

KSolverConfiguration

interface KSolverConfiguration

Functions

Link copied to clipboard
abstract fun setBoolParameter(param: String, value: Boolean)
Link copied to clipboard
abstract fun setDoubleParameter(param: String, value: Double)
Link copied to clipboard
abstract fun setIntParameter(param: String, value: Int)
Link copied to clipboard
abstract fun setStringParameter(param: String, value: String)