ksmt-core/io.ksmt.solver/KSolverUniversalConfigurationBuilder

KSolverUniversalConfigurationBuilder

interface KSolverUniversalConfigurationBuilder

Functions

Link copied to clipboard
abstract fun buildBoolParameter(param: String, value: Boolean)
Link copied to clipboard
abstract fun buildDoubleParameter(param: String, value: Double)
Link copied to clipboard
abstract fun buildIntParameter(param: String, value: Int)
Link copied to clipboard
abstract fun buildStringParameter(param: String, value: String)