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

StateInit

data class StateInit(val context: ClassicExecutionContext) : AbstractState

Bootstrap State, with no counterpart in the formal paper (whose initial configuration is stipulated rather than computed): resets context into a fresh root frame for ClassicExecutionContext.query -- goals from the query, empty rule/primitive cursors and choice points, no substitution, depth = 0 -- and immediately moves to StateGoalSelection, the actual entry point of every subsequent step.

Constructors

StateInit

constructor(context: ClassicExecutionContext)

Properties

context

open override val context: ClassicExecutionContext

The execution context this state operates on.

isEndState

open val isEndState: Boolean

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

Functions

asEndState

open fun asEndState(): EndState?

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

castToEndState

open fun castToEndState(): EndState

This state as an EndState.

clone

open override fun clone(context: ClassicExecutionContext = this.context): StateInit

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

open override fun next(): State

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