solve/it.unibo.tuprolog.solve/Solution/Halt

Halt

interface Halt : Solution

A type representing a failed (halted) solution because of an exception

Functions

open override fun asHalt(): Solution.Halt

Casts the current Solution to Halt, if possible, or returns null otherwise

open fun asNo(): Solution.No?

Casts the current Solution to No, if possible, or returns null otherwise

open fun asYes(): Solution.Yes?

Casts the current Solution to Yes, if possible, or returns null otherwise

open fun castToHalt(): Solution.Halt

Casts the current Solution to Halt, if possible

open fun castToNo(): Solution.No

Casts the current Solution to No, if possible

open fun castToYes(): Solution.Yes

Casts the current Solution to Yes, if possible

abstract override fun cleanUp(): Solution.Halt

abstract fun copy(query: <ERROR CLASS> = this.query, exception: ResolutionException = this.exception): Solution.Halt

abstract fun replaceTags(tags: Map<String, Any>): Solution.Halt

abstract fun valueOf(variable: <ERROR CLASS>): <ERROR CLASS>?

abstract fun valueOf(variable: String): <ERROR CLASS>?

abstract fun <T> whenIs( yes: (Solution.Yes) -> T? = null, no: (Solution.No) -> T? = null, halt: (Solution.Halt) -> T? = null, otherwise: (Solution) -> T = { throw IllegalStateException("Cannot handle solution $it") }): T

Properties

abstract override val exception: ResolutionException

abstract val isHalt: Boolean

abstract val isNo: Boolean

abstract val isYes: Boolean

abstract val query: <ERROR CLASS>

The query to which the solution refers

abstract val solvedQuery: <ERROR CLASS>?

The Struct representing the solution, or null in case of a non-successful solution

abstract val substitution: <ERROR CLASS>

The substitution that has been applied to find the solution, or a failed substitution