solve/it.unibo.tuprolog.solve.exception/ResolutionException/ResolutionException

ResolutionException

fun ResolutionException(    message: String? = null,     cause: Throwable? = null,     context: ExecutionContext,     vararg otherContexts: ExecutionContext)
Content copied to clipboard
fun ResolutionException(cause: Throwable?, context: ExecutionContext)
Content copied to clipboard


fun ResolutionException(    message: String? = null,     cause: Throwable? = null,     contexts: Array<ExecutionContext>)
Content copied to clipboard

Parameters

message

the detail message string.

cause

the cause of this exception.

contexts

a stack of contexts localising the exception