solve/it.unibo.tuprolog.solve/Solution

Solution

interface Solution

A type representing a solution to a goal

Types

object Companion

interface Halt : Solution

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

interface No : Solution

A type representing a failed solution

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 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 fun cleanUp(): Solution

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 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

Inheritors