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

StateHalt

data class StateHalt(val exception: <ERROR CLASS>, val context: ClassicExecutionContext) : AbstractEndState, ExceptionalState

Constructors

fun StateHalt(exception: <ERROR CLASS>, context: ClassicExecutionContext)

Functions

open fun asEndState(): EndState?

open fun castToEndState(): EndState

open override fun clone(context: ClassicExecutionContext): StateHalt

abstract fun next(): State

Properties

open override val context: ClassicExecutionContext

open override val exception: <ERROR CLASS>

hasOpenAlternatives

open val hasOpenAlternatives: Boolean

open val isEndState: Boolean

open override val solution: <ERROR CLASS>