solve/it.unibo.tuprolog.solve/Solution/Yes

Yes

interface Yes : Solution

A type representing the successful solution

Functions

open 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 override 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.Yes

abstract fun copy(query: <ERROR CLASS> = this.query, substitution: <ERROR CLASS> = this.substitution): Solution.Yes

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

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 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 override val solvedQuery: <ERROR CLASS>

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

abstract override val substitution: <ERROR CLASS>

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