solve-classic/it.unibo.tuprolog.solve.classic.fsm/EndState

EndState

interface EndState : State

A State that carries an emitted Solution (StateEnd, reached on a positive or negative solution, or StateHalt, reached on an uncaught exception). Every time it.unibo.tuprolog.solve.classic.SolutionIterator visits one of these, solution is what it hands back to the caller.

Inheritors

AbstractEndState

Properties

abstract val context: ClassicExecutionContext

The execution context this state operates on.

hasOpenAlternatives

open val hasOpenAlternatives: Boolean

Whether asking for another solution after this one would resume resolution (via backtracking) rather than truly stop.

open override val isEndState: Boolean

Whether this state is a terminal one for the current resolution step, i.e. an EndState.

abstract val solution: Solution

The solution emitted by reaching this state.

Functions

open override fun asEndState(): EndState

This state as an EndState, or null if isEndState is false.

open fun castToEndState(): EndState

This state as an EndState.

abstract fun clone(context: ClassicExecutionContext = this.context): State

Returns a copy of this state, replacing context with the given one (defaulting to the current context).

abstract fun next(): State

Computes the state the machine transitions into from here -- a pure function of context.