ksmt-core/io.ksmt.solver/KSolverException

KSolverException

open class KSolverException : Exception

Constructors

KSolverException

fun KSolverException()

KSolverException

fun KSolverException(cause: Throwable)

KSolverException

fun KSolverException(message: String)

KSolverException

fun KSolverException(message: String, cause: Throwable)

Functions

fun addSuppressed(p0: Throwable)

fillInStackTrace

open fun fillInStackTrace(): Throwable

getLocalizedMessage

open fun getLocalizedMessage(): String

open fun getStackTrace(): Array<StackTraceElement>

fun getSuppressed(): Array<Throwable>

open fun initCause(p0: Throwable): Throwable

printStackTrace

open fun printStackTrace()

open fun printStackTrace(p0: PrintStream)

open fun printStackTrace(p0: PrintWriter)

open fun setStackTrace(p0: Array<StackTraceElement>)

Properties

open val cause: Throwable?

open val message: String?

Inheritors

KSolverUnsupportedFeatureException

KSolverUnsupportedParameterException