commonMain.it.unibo.tuprolog.solve.library.exception.LibraryException.kt Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of solve-jvm Show documentation
Show all versions of solve-jvm Show documentation
Resolution-agnostic API for logic solvers
package it.unibo.tuprolog.solve.library.exception
import it.unibo.tuprolog.core.exception.TuPrologException
open class LibraryException(
message: String? = null,
cause: Throwable? = null,
) : TuPrologException(message, cause) {
constructor(cause: Throwable?) : this(cause?.toString(), cause)
}