Package-level declarations
Types
Link copied to clipboard
class HaltException(val exitStatus: Int = 0, message: String? = "Resolution has been halted with exit code ", cause: Throwable? = null, contexts: Array<ExecutionContext>) : ResolutionException
An exception thrown if there are problems during state machine execution, and solution process should be halted
Link copied to clipboard
abstract class LogicError(message: String? = null, cause: Throwable? = null, contexts: Array<ExecutionContext>, val type: Struct, val extraData: Term? = null) : ResolutionException
Base class for errors which may occur during resolution, possibly because of it.unibo.tuprolog.solve.primitive.Primitives execution
Link copied to clipboard
open class ResolutionException(message: String? = null, cause: Throwable? = null, val contexts: Array<ExecutionContext>) : TuPrologException
An exception that could occur during Solver execution
Link copied to clipboard
class TimeOutException(message: String? = null, cause: Throwable? = null, contexts: Array<ExecutionContext>, val exceededDuration: TimeDuration) : ResolutionException
Exception thrown if time for execution finished, before completion of solution process
Link copied to clipboard
abstract class Warning(message: String? = null, cause: Throwable? = null, contexts: Array<ExecutionContext>) : ResolutionException
Base class for Prolog warnings