solve/it.unibo.tuprolog.solve.exception/LogicError/Companion

Companion

object Companion

Functions

Link copied to clipboard
@JvmStatic
fun of(message: String? = null, cause: Throwable? = null, context: ExecutionContext, type: Struct, extraData: Term? = null): LogicError

Factory method for LogicErrors

@JvmStatic
fun of(message: String? = null, cause: Throwable? = null, contexts: Array<ExecutionContext>, type: Struct, extraData: Term? = null): LogicError
Generated by Dokka
© 2026 Copyright